Bob is big. Harry is blue. If Harry is smart then Harry is big. If something is kind then it is rough. All nice, smart things are rough. If something is smart then it is nice. Blue things are smart. Round, big things are blue. If Harry is big then Harry is blue. If something is smart then it is nice.
Harry is smart.
@0: Bob is big.[(triple1)] Harry is blue.[(triple2)] @1: Harry is smart.[(((triple2) -> rule5))] @2: Harry is big.[(((((triple2) -> rule5)) -> rule1))] Harry is nice.[(((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule5)) -> rule8))] @3: Harry is rough.[(((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule3))]