Anne is red. Anne is white. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is smart. All red people are smart. If Anne is smart then Anne is green. All green people are rough. All cold people are furry. All green people are white. If Harry is red then Harry is green. If Anne is furry then Anne is white. If someone is rough then they are cold.
Anne is red.
@0: Anne is red.[(triple1)] Anne is white.[(triple2 OR ((((((triple1) -> rule1)) -> rule2)) -> rule5) OR ((((((((((((triple1) -> rule1)) -> rule2)) -> rule3)) -> rule8)) -> rule4)) -> rule7))] Harry is cold.[(triple3 OR ((triple6) -> rule8) OR ((((((triple5) -> rule6)) -> rule3)) -> rule8))] Harry is furry.[(triple4 OR ((triple3) -> rule4) OR ((((triple6) -> rule8)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule4))] Harry is red.[(triple5)] Harry is rough.[(triple6 OR ((((triple5) -> rule6)) -> rule3))] Harry is smart.[(triple7 OR ((triple5) -> rule1))] @1: Anne is smart.[(((triple1) -> rule1))] Harry is green.[(((triple5) -> rule6))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule2))] Harry is white.[(((((triple5) -> rule6)) -> rule5))] @3: Anne is rough.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))] @4: Anne is cold.[(((((((((triple1) -> rule1)) -> rule2)) -> rule3)) -> rule8))] @5: Anne is furry.[(((((((((((triple1) -> rule1)) -> rule2)) -> rule3)) -> rule8)) -> rule4))]