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.
Bob is not 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))]