Harry is big. All green things are round. If something is big then it is round. White things are green. Red things are white. All round things are red. If something is green and not cold then it is smart. If something is red and not green then it is smart. If something is big and not round then it is smart.
Harry is not big.
@0: Harry is big.[(triple1)] @1: Harry is round.[(((triple1) -> rule2))] @2: Harry is red.[(((((triple1) -> rule2)) -> rule5))] @3: Harry is white.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))] @4: Harry is green.[(((((((((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule3))]