Bob is big. Bob is round. Bob is smart. Fiona is green. Harry is rough. Harry is round. Harry is smart. All rough, round things are big. If Bob is blue then Bob is cold. If something is smart and cold then it is big. If something is blue then it is rough. All rough, big things are blue. If something is big and rough then it is cold.
Harry is big.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Fiona is green.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Harry is big.[(((triple5 triple6) -> rule1))] @2: Harry is blue.[(((triple5 ((triple5 triple6) -> rule1)) -> rule5))] Harry is cold.[(((((triple5 triple6) -> rule1) triple5) -> rule6))]