Dave is rough. Harry is quiet. Harry is white. If something is furry then it is smart. If something is smart then it is rough. If something is white and quiet then it is furry.
Harry is nice.
@0: Dave is rough.[(triple1)] Harry is quiet.[(triple2)] Harry is white.[(triple3)] @1: Harry is furry.[(((triple3 triple2) -> rule3))] @2: Harry is smart.[(((((triple3 triple2) -> rule3)) -> rule1))] @3: Harry is rough.[(((((((triple3 triple2) -> rule3)) -> rule1)) -> rule2))]