You must determine what can be concluded from the 60 true statements below. The numbers in each statement represent binary values (true / false, 1 / 0), or attributes that either are present or are not present.

For example, in words, Statement 1 reads:
If 3 is true and 29 is true then 13 is false.

Statement 1: if 3 and 29 then not 13
Statement 2: if (27 and 9) or (14 and not 10) then 4
Statement 3: if 14 and 28 then not 6
Statement 4: if (2 and 16) or (27 and not 18) then 24
Statement 5: if 14 and 29 then 11
Statement 6: if 7 and 11 and not 10 then 21
Statement 7: if 30 and 3 and not 12 then 11
Statement 8: if 3 and 7 and not 1 then 23
Statement 9: if (10 and 1) or (23 and not 16) then 27
Statement 10: if 19 and 9 then not 27
Statement 11: if 26 and 8 then not 5
Statement 12: if 10 or 19 then not 13
Statement 13: if (1 and 6) or (9 and not 13) then 25
Statement 14: if 11 and 3 and not 4 then 17
Statement 15: if 28 or 16 then 8
Statement 16: if (2 and 7) or (14 and not 13) then 20
Statement 17: if 27 and 26 then 15
Statement 18: if 27 or 7 then 4
Statement 19: if 30 and 11 and not 24 then 28
Statement 20: if 27 and 10 and not 30 then 29
Statement 21: if 27 and 9 and not 24 then 4
Statement 22: if 4 and 28 then 15
Statement 23: if 16 or 23 then not 25
Statement 24: if 20 and 17 then 11
Statement 25: if 6 or 28 then 30
Statement 26: if (5 and 18) or (6 and not 26) then 16
Statement 27: if 23 or 21 then 20
Statement 28: if 25 or 6 then 20
Statement 29: if 29 and 8 and not 23 then 7
Statement 30: if 9 or 18 then 16
Statement 31: if 12 and 11 and not 24 then 2
Statement 32: if 6 and 24 then not 15
Statement 33: if 9 or 5 then not 25
Statement 34: if 17 and 8 and not 26 then 22
Statement 35: if 15 and 1 then 11
Statement 36: if 28 and 5 then 2
Statement 37: if 2 and 9 and not 12 then 6
Statement 38: if 26 and 14 then 22
Statement 39: if 12 or 16 then 13
Statement 40: if 9 and 8 then 16
Statement 41: if 8 and 15 then not 27
Statement 42: if 18 or 7 then 25
Statement 43: if 30 and 2 then not 17
Statement 44: if 23 and 4 then not 9
Statement 45: if 17 and 11 and not 18 then 29
Statement 46: if 10 and 5 then not 28
Statement 47: if 12 and 18 and not 9 then 23
Statement 48: if 9 and 17 then not 18
Statement 49: if 21 or 5 then not 22
Statement 50: if (21 and 16) or (19 and not 17) then 25
Statement 51: if 13 or 24 then not 6
Statement 52: if 1 and 18 and not 2 then 30
Statement 53: if 8 and 30 and not 1 then 9
Statement 54: if 10 and 28 then 6
Statement 55: if 13 or 12 then not 21
Statement 56: if 1 and 22 and not 20 then 23
Statement 57: if (3 and 30) or (12 and not 13) then 23
Statement 58: if 8 or 11 then 14
Statement 59: if (27 and 16) or (17 and not 28) then 21
Statement 60: if (27 and 16) or (22 and not 14) then 28