Bob is white. Dave is smart. Fiona is blue. Harry is young. If something is blue and smart then it is rough. All smart things are blue.
Dave is rough.
@0: Bob is white.[(triple1)] Dave is smart.[(triple2)] Fiona is blue.[(triple3)] Harry is young.[(triple4)] @1: Dave is blue.[(((triple2) -> rule2))] @2: Dave is rough.[(((((triple2) -> rule2) triple2) -> rule1))]