Anne is cold. Anne is nice. Bob is quiet. Bob is white. Gary is quiet. Harry is big. Harry is green. Harry is nice. Harry is quiet. Harry is white. If someone is white and nice then they are big. All quiet, cold people are nice. All round people are green. Quiet, round people are green. If someone is nice then they are round. All green, quiet people are cold. Quiet people are round. Quiet, nice people are white.
Bob is not big.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4 OR ((triple3 ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule8) OR ((triple3 ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule8))] Gary is quiet.[(triple5)] Harry is big.[(triple6 OR ((triple10 triple8) -> rule1) OR ((((triple9 triple8) -> rule8) triple8) -> rule1) OR ((triple10 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 triple8) -> rule8) ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule8) triple8) -> rule1) OR ((((triple9 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule1) OR ((triple10 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule1) OR ((triple10 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 triple8) -> rule8) ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 triple8) -> rule8) ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule8) triple8) -> rule1) OR ((((triple9 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule8) triple8) -> rule1) OR ((((triple9 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule8) ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule1))] Harry is green.[(triple7 OR ((((triple8) -> rule5)) -> rule3) OR ((((triple9) -> rule7)) -> rule3) OR ((triple9 ((triple8) -> rule5)) -> rule4) OR ((triple9 ((triple9) -> rule7)) -> rule4))] Harry is nice.[(triple8 OR ((triple9 ((triple7 triple9) -> rule6)) -> rule2) OR ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2) OR ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2))] Harry is quiet.[(triple9)] Harry is white.[(triple10 OR ((triple9 triple8) -> rule8) OR ((triple9 ((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule8) OR ((triple9 ((triple9 ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6)) -> rule2)) -> rule8) OR ((triple9 ((triple9 ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6)) -> rule2)) -> rule8))] @1: Anne is round.[(((triple2) -> rule5))] Bob is round.[(((triple3) -> rule7))] Gary is round.[(((triple5) -> rule7))] Harry is cold.[(((triple7 triple9) -> rule6) OR ((((((triple8) -> rule5)) -> rule3) triple9) -> rule6) OR ((((((triple9) -> rule7)) -> rule3) triple9) -> rule6) OR ((((triple9 ((triple8) -> rule5)) -> rule4) triple9) -> rule6) OR ((((triple9 ((triple9) -> rule7)) -> rule4) triple9) -> rule6))] Harry is round.[(((triple8) -> rule5) OR ((triple9) -> rule7) OR ((((triple9 ((triple7 triple9) -> rule6)) -> rule2)) -> rule5))] @2: Anne is green.[(((((triple2) -> rule5)) -> rule3))] Bob is green.[(((((triple3) -> rule7)) -> rule3) OR ((triple3 ((triple3) -> rule7)) -> rule4))] Gary is green.[(((((triple5) -> rule7)) -> rule3) OR ((triple5 ((triple5) -> rule7)) -> rule4))] @3: Bob is cold.[(((((((triple3) -> rule7)) -> rule3) triple3) -> rule6) OR ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6))] Gary is cold.[(((((((triple5) -> rule7)) -> rule3) triple5) -> rule6) OR ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6))] @4: Bob is nice.[(((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2))] Gary is nice.[(((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2) OR ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2))] @5: Bob is big.[(((triple4 ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule1) OR ((triple4 ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule8) ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule8) ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule8) ((triple3 ((((((triple3) -> rule7)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule8) ((triple3 ((((triple3 ((triple3) -> rule7)) -> rule4) triple3) -> rule6)) -> rule2)) -> rule1))] Gary is white.[(((triple5 ((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2)) -> rule8) OR ((triple5 ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8))] @6: Gary is big.[(((((triple5 ((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2)) -> rule1) OR ((((triple5 ((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2)) -> rule1) OR ((((triple5 ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((((triple5) -> rule7)) -> rule3) triple5) -> rule6)) -> rule2)) -> rule1) OR ((((triple5 ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((triple5 ((triple5) -> rule7)) -> rule4) triple5) -> rule6)) -> rule2)) -> rule1))]