Anne is big. Anne is rough. Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is round. Gary is round. Harry is cold. Harry is rough. All round things are blue. If something is cold then it is blue. Blue, red things are round. If something is rough then it is red. All big, red things are cold. All round things are green. Round, cold things are big. If something is green then it is blue.
Anne is round.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Dave is blue.[(triple3 OR ((triple4) -> rule2) OR ((triple7) -> rule1) OR ((((triple7) -> rule6)) -> rule8))] Dave is cold.[(triple4)] Dave is red.[(triple5 OR ((triple6) -> rule4))] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple6) -> rule4)) -> rule3) OR ((((triple4) -> rule2) triple5) -> rule3) OR ((((triple4) -> rule2) ((triple6) -> rule4)) -> rule3))] Gary is round.[(triple8)] Harry is cold.[(triple9)] Harry is rough.[(triple10)] @1: Anne is red.[(((triple2) -> rule4))] Dave is big.[(((triple7 triple4) -> rule7) OR ((((triple3 triple5) -> rule3) triple4) -> rule7) OR ((((triple3 ((triple6) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple4) -> rule2) triple5) -> rule3) triple4) -> rule7) OR ((((((triple4) -> rule2) ((triple6) -> rule4)) -> rule3) triple4) -> rule7))] Dave is green.[(((triple7) -> rule6) OR ((((triple3 triple5) -> rule3)) -> rule6) OR ((((triple3 ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2) triple5) -> rule3)) -> rule6) OR ((((((triple4) -> rule2) ((triple6) -> rule4)) -> rule3)) -> rule6))] Gary is blue.[(((triple8) -> rule1) OR ((((triple8) -> rule6)) -> rule8))] Gary is green.[(((triple8) -> rule6))] Harry is blue.[(((triple9) -> rule2))] Harry is red.[(((triple10) -> rule4))] @2: Anne is cold.[(((triple1 ((triple2) -> rule4)) -> rule5))] Harry is round.[(((((triple9) -> rule2) ((triple10) -> rule4)) -> rule3))] @3: Anne is blue.[(((((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2))] Harry is big.[(((((((triple9) -> rule2) ((triple10) -> rule4)) -> rule3) triple9) -> rule7))] Harry is green.[(((((((triple9) -> rule2) ((triple10) -> rule4)) -> rule3)) -> rule6))] @4: Anne is round.[(((((((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule3))] @5: Anne is green.[(((((((((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule6))]