Dave is nice. Erin is blue. Gary is rough. Harry is white. If something is rough then it is white. White things are rough. All white things are quiet. If something is nice and smart then it is quiet. Rough, blue things are kind. If something is nice and quiet then it is smart.
Harry is white.
@0: Dave is nice.[(triple1)] Erin is blue.[(triple2)] Gary is rough.[(triple3)] Harry is white.[(triple4)] @1: Gary is white.[(((triple3) -> rule1))] Harry is quiet.[(((triple4) -> rule3))] Harry is rough.[(((triple4) -> rule2))] @2: Gary is quiet.[(((((triple3) -> rule1)) -> rule3))]