Anne is rough. Bob is rough. Dave is green. All green things are big. If something is big then it is blue. If something is rough and big then it is blue. If something is big then it is green. If Dave is big and Dave is rough then Dave is blue. If something is rough then it is red. If Dave is red then Dave is furry. If Dave is white and Dave is blue then Dave is red.
Anne is not rough.
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] Dave is green.[(triple3)] @1: Anne is red.[(((triple1) -> rule6))] Bob is red.[(((triple2) -> rule6))] Dave is big.[(((triple3) -> rule1))] @2: Dave is blue.[(((((triple3) -> rule1)) -> rule2))]