Bob is smart. Dave is round. Erin is rough. All green things are round. White, round things are big. If something is white then it is smart. If something is round then it is blue. If something is round and green then it is white. All big, rough things are white. All round things are green. Rough things are blue.
Bob is not smart.
@0: Bob is smart.[(triple1)] Dave is round.[(triple2)] Erin is rough.[(triple3)] @1: Dave is blue.[(((triple2) -> rule4))] Dave is green.[(((triple2) -> rule7))] Erin is blue.[(((triple3) -> rule8))] @2: Dave is white.[(((triple2 ((triple2) -> rule7)) -> rule5))] @3: Dave is big.[(((((triple2 ((triple2) -> rule7)) -> rule5) triple2) -> rule2))] Dave is smart.[(((((triple2 ((triple2) -> rule7)) -> rule5)) -> rule3))]