Dave is white. White things are round. All smart, cold things are round. Round things are blue. Cold things are blue. If something is round and not furry then it is not rough. All white things are rough. Blue things are smart. If something is smart then it is cold.
Dave is not round.
@0: Dave is white.[(triple1)] @1: Dave is rough.[(((triple1) -> rule6))] Dave is round.[(((triple1) -> rule1))] @2: Dave is blue.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is smart.[(((((((triple1) -> rule1)) -> rule3)) -> rule7))] @4: Dave is cold.[(((((((((triple1) -> rule1)) -> rule3)) -> rule7)) -> rule8))]