Dave is round. If Dave is nice then Dave is white. If Dave is white and Dave is round then Dave is cold. All blue things are smart. Blue, round things are white. If something is cold and nice then it is smart. If something is round and quiet then it is cold. If Dave is round then Dave is blue. If Dave is cold then Dave is quiet.
Dave is white.
@0: Dave is round.[(triple1)] @1: Dave is blue.[(((triple1) -> rule7))] @2: Dave is smart.[(((((triple1) -> rule7)) -> rule3))] Dave is white.[(((((triple1) -> rule7) triple1) -> rule4))] @3: Dave is cold.[(((((((triple1) -> rule7) triple1) -> rule4) triple1) -> rule2))] @4: Dave is quiet.[(((((((((triple1) -> rule7) triple1) -> rule4) triple1) -> rule2)) -> rule8))]