Dave is cold. Dave is quiet. Dave is smart. Blue, big things are quiet. Smart things are nice. Quiet, blue things are white. If Dave is quiet and Dave is white then Dave is cold. If something is cold and white then it is smart. Nice, quiet things are blue. If something is white and cold then it is nice. White things are smart.
Dave is blue.
@0: Dave is cold.[(triple1 OR ((triple2 ((triple2 ((((triple3) -> rule2) triple2) -> rule6)) -> rule3)) -> rule4))] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] @1: Dave is nice.[(((triple3) -> rule2))] @2: Dave is blue.[(((((triple3) -> rule2) triple2) -> rule6))] @3: Dave is white.[(((triple2 ((((triple3) -> rule2) triple2) -> rule6)) -> rule3))]