Charlie is big. Fiona is young. Harry is smart. If Harry is big then Harry is smart. Big things are young. If something is smart and young then it is nice. If something is rough then it is nice. All big, cold things are young. If something is nice and rough then it is cold. All cold, quiet things are smart. If something is smart then it is big.
Harry is big.
@0: Charlie is big.[(triple1)] Fiona is young.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is young.[(((triple1) -> rule2))] Harry is big.[(((triple3) -> rule8))] @2: Harry is young.[(((((triple3) -> rule8)) -> rule2))] @3: Harry is nice.[(((triple3 ((((triple3) -> rule8)) -> rule2)) -> rule3))]