Dave is smart. If something is kind then it is round. If Dave is round and Dave is rough then Dave is young. All white, smart things are rough. Smart, round things are white. White things are kind. If Dave is smart and Dave is cold then Dave is round. If something is young and round then it is cold. Smart things are cold.
Dave is not smart.
@0: Dave is smart.[(triple1)] @1: Dave is cold.[(((triple1) -> rule8))] @2: Dave is round.[(((triple1 ((triple1) -> rule8)) -> rule6))] @3: Dave is white.[(((triple1 ((triple1 ((triple1) -> rule8)) -> rule6)) -> rule4))] @4: Dave is kind.[(((((triple1 ((triple1 ((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule5))] Dave is rough.[(((((triple1 ((triple1 ((triple1) -> rule8)) -> rule6)) -> rule4) triple1) -> rule3))] @5: Dave is young.[(((((triple1 ((triple1) -> rule8)) -> rule6) ((((triple1 ((triple1 ((triple1) -> rule8)) -> rule6)) -> rule4) triple1) -> rule3)) -> rule2))]