Bob is round. Dave is green. If something is green and blue then it is not white. If Dave is white and Dave is blue then Dave is green. If something is round and not kind then it is blue. If Bob is green then Bob is blue. If Bob is red then Bob is not nice. Round things are green. If Dave is white and Dave is round then Dave is nice. If something is green and not white then it is nice.
Dave is not red.
@0: Bob is round.[(triple1)] Dave is green.[(triple2)] @1: Bob is green.[(((triple1) -> rule6))] @2: Bob is blue.[(((((triple1) -> rule6)) -> rule4))] @3: Bob is not white.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule1))] @4: Bob is nice.[(((((triple1) -> rule6) ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule1)) -> rule8))]