Bob is green. Dave is big. Gary is smart. Big things are white. If something is big and nice then it is green. All white, round things are big. All red, nice things are round. If something is round then it is nice. If something is white then it is red. Nice things are round. If Dave is red and Dave is big then Dave is round.
Dave is not white.
@0: Bob is green.[(triple1)] Dave is big.[(triple2)] Gary is smart.[(triple3)] @1: Dave is white.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule6))] @3: Dave is round.[(((((((triple2) -> rule1)) -> rule6) triple2) -> rule8))] @4: Dave is nice.[(((((((((triple2) -> rule1)) -> rule6) triple2) -> rule8)) -> rule5))] @5: Dave is green.[(((triple2 ((((((((triple2) -> rule1)) -> rule6) triple2) -> rule8)) -> rule5)) -> rule2))]