Bob is smart. Charlie is red. Gary is red. Harry is big. All nice things are red. If Harry is red and Harry is young then Harry is kind. Smart things are big. Nice things are round. If something is red then it is big. All big, red things are smart. All smart, nice things are young. If something is young then it is smart.
Bob is nice.
@0: Bob is smart.[(triple1)] Charlie is red.[(triple2)] Gary is red.[(triple3)] Harry is big.[(triple4)] @1: Bob is big.[(((triple1) -> rule3))] Charlie is big.[(((triple2) -> rule5))] Gary is big.[(((triple3) -> rule5))] @2: Charlie is smart.[(((((triple2) -> rule5) triple2) -> rule6))] Gary is smart.[(((((triple3) -> rule5) triple3) -> rule6))]