Anne is cold. Anne is quiet. Anne is rough. Anne is white. Dave is big. Dave is blue. Erin is cold. Erin is round. Harry is big. Harry is blue. Rough people are round. If Harry is big and Harry is cold then Harry is blue. All big people are cold. If Dave is blue then Dave is rough. If someone is blue then they are rough. Blue, white people are big.
Anne is not big.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Erin is cold.[(triple7)] Erin is round.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10 OR ((triple9 ((triple9) -> rule3)) -> rule2))] @1: Anne is round.[(((triple3) -> rule1))] Dave is cold.[(((triple5) -> rule3))] Dave is rough.[(((triple6) -> rule4) OR ((triple6) -> rule5))] Harry is cold.[(((triple9) -> rule3))] Harry is rough.[(((triple10) -> rule5) OR ((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule5))] @2: Dave is round.[(((((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] Harry is round.[(((((triple10) -> rule5)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule2)) -> rule5)) -> rule1))]