Dave is green. Dave is red. Fiona is red. Fiona is smart. Gary is rough. Harry is cold. Harry is smart. Smart, big things are rough. All rough, cold things are white. All cold things are big.
Harry is white.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Gary is rough.[(triple5)] Harry is cold.[(triple6)] Harry is smart.[(triple7)] @1: Harry is big.[(((triple6) -> rule3))] @2: Harry is rough.[(((triple7 ((triple6) -> rule3)) -> rule1))] @3: Harry is white.[(((((triple7 ((triple6) -> rule3)) -> rule1) triple6) -> rule2))]