Harry is big. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All round, smart people are rough. If Harry is big and Harry is smart then Harry is red. Round people are white. All white, big people are green. Green people are white. All white, smart people are red.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is green.[(triple2 OR ((triple7 triple1) -> rule4) OR ((((triple5) -> rule3) triple1) -> rule4))] Harry is red.[(triple3 OR ((triple1 triple6) -> rule2) OR ((triple7 triple6) -> rule6) OR ((((triple2) -> rule5) triple6) -> rule6) OR ((((triple5) -> rule3) triple6) -> rule6))] Harry is rough.[(triple4 OR ((triple5 triple6) -> rule1))] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple2) -> rule5) OR ((triple5) -> rule3))]