Bob is blue. Bob is white. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Erin is blue. Erin is cold. Erin is green. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is white. White things are cold. If something is blue then it is white. If something is cold then it is round. If something is green then it is quiet. All round, big things are green. If Bob is round then Bob is big. All white, quiet things are big. If something is big then it is cold. If something is blue and quiet then it is cold.
Charlie is white.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2 OR ((triple1) -> rule2))] Charlie is green.[(triple3 OR ((triple5 ((triple6 triple4) -> rule7)) -> rule5) OR ((((((triple6) -> rule1)) -> rule3) ((triple6 triple4) -> rule7)) -> rule5) OR ((((((((triple6 triple4) -> rule7)) -> rule8)) -> rule3) ((triple6 triple4) -> rule7)) -> rule5))] Charlie is quiet.[(triple4 OR ((triple3) -> rule4))] Charlie is round.[(triple5 OR ((((triple6) -> rule1)) -> rule3) OR ((((((triple6 triple4) -> rule7)) -> rule8)) -> rule3) OR ((((((triple6 ((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule3))] Charlie is white.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((((triple7) -> rule2)) -> rule1) OR ((triple7 ((triple9) -> rule4)) -> rule9) OR ((((((triple7) -> rule2) ((triple9) -> rule4)) -> rule7)) -> rule8))] Erin is green.[(triple9)] Gary is big.[(triple10 OR ((triple16 triple14) -> rule7) OR ((triple16 ((triple13) -> rule4)) -> rule7) OR ((((triple11) -> rule2) triple14) -> rule7) OR ((((triple11) -> rule2) ((triple13) -> rule4)) -> rule7))] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple10) -> rule8) OR ((triple16) -> rule1) OR ((triple11 triple14) -> rule9) OR ((((triple11) -> rule2)) -> rule1) OR ((((triple16 triple14) -> rule7)) -> rule8) OR ((triple11 ((triple13) -> rule4)) -> rule9) OR ((((triple16 ((triple13) -> rule4)) -> rule7)) -> rule8) OR ((((((triple11) -> rule2) triple14) -> rule7)) -> rule8) OR ((triple11 ((((triple15 triple10) -> rule5)) -> rule4)) -> rule9) OR ((((((triple11) -> rule2) ((triple13) -> rule4)) -> rule7)) -> rule8))] Gary is green.[(triple13 OR ((triple15 triple10) -> rule5) OR ((triple15 ((triple16 triple14) -> rule7)) -> rule5) OR ((((triple12) -> rule3) triple10) -> rule5) OR ((((triple12) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((triple15 ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((triple10) -> rule8)) -> rule3) triple10) -> rule5) OR ((((((triple16) -> rule1)) -> rule3) triple10) -> rule5) OR ((((((triple11 triple14) -> rule9)) -> rule3) triple10) -> rule5) OR ((((triple12) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((triple10) -> rule8)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((triple16) -> rule1)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((triple11 triple14) -> rule9)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((triple10) -> rule8)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((triple16) -> rule1)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((triple11 triple14) -> rule9)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((((triple11) -> rule2)) -> rule1)) -> rule3) triple10) -> rule5) OR ((((((((triple16 triple14) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5) OR ((((((((triple11) -> rule2)) -> rule1)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((((triple16 triple14) -> rule7)) -> rule8)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((((triple11) -> rule2)) -> rule1)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((((triple16 triple14) -> rule7)) -> rule8)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5) OR ((((((((((triple11) -> rule2) triple14) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5) OR ((((((((((triple11) -> rule2) triple14) -> rule7)) -> rule8)) -> rule3) ((triple16 triple14) -> rule7)) -> rule5) OR ((((((((((triple11) -> rule2) triple14) -> rule7)) -> rule8)) -> rule3) ((((triple11) -> rule2) triple14) -> rule7)) -> rule5))] Gary is quiet.[(triple14 OR ((triple13) -> rule4) OR ((((triple15 triple10) -> rule5)) -> rule4) OR ((((((triple12) -> rule3) triple10) -> rule5)) -> rule4) OR ((((((((triple10) -> rule8)) -> rule3) triple10) -> rule5)) -> rule4) OR ((((((((triple16) -> rule1)) -> rule3) triple10) -> rule5)) -> rule4) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule3) triple10) -> rule5)) -> rule4))] Gary is round.[(triple15 OR ((triple12) -> rule3) OR ((((triple10) -> rule8)) -> rule3) OR ((((triple16) -> rule1)) -> rule3) OR ((((triple11 triple14) -> rule9)) -> rule3) OR ((((((triple11) -> rule2)) -> rule1)) -> rule3) OR ((((((triple16 triple14) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((triple13) -> rule4)) -> rule9)) -> rule3) OR ((((((triple16 ((triple13) -> rule4)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple11) -> rule2) triple14) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple11) -> rule2) ((triple13) -> rule4)) -> rule7)) -> rule8)) -> rule3))] Gary is white.[(triple16 OR ((triple11) -> rule2))] @1: Bob is cold.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Charlie is big.[(((triple6 triple4) -> rule7) OR ((triple6 ((triple3) -> rule4)) -> rule7))] Charlie is cold.[(((triple6) -> rule1) OR ((((triple6 triple4) -> rule7)) -> rule8) OR ((((triple6 ((triple3) -> rule4)) -> rule7)) -> rule8))] Erin is quiet.[(((triple9) -> rule4))] Erin is round.[(((triple8) -> rule3) OR ((((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((triple7 ((triple9) -> rule4)) -> rule9)) -> rule3) OR ((((((((triple7) -> rule2) ((triple9) -> rule4)) -> rule7)) -> rule8)) -> rule3))] Erin is white.[(((triple7) -> rule2))] @2: Bob is round.[(((((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1)) -> rule3))] Erin is big.[(((((triple7) -> rule2) ((triple9) -> rule4)) -> rule7))] @3: Bob is big.[(((((((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule6))] @4: Bob is green.[(((((((triple2) -> rule1)) -> rule3) ((((((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((((((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule3) ((((((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((((((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule5))] @5: Bob is quiet.[(((((((((triple2) -> rule1)) -> rule3) ((((((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((((((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule3) ((((((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((((((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule5)) -> rule4))]