Anne is quiet. Dave is red. Gary is white. Rough things are quiet. If something is white and not rough then it is not quiet. If something is rough and big then it is quiet. Quiet things are big. All quiet things are not white. If something is big then it is red. Red, big things are green. If Gary is green and Gary is not white then Gary is furry.
Dave is not white.
@0: Anne is quiet.[(triple1)] Dave is red.[(triple2)] Gary is white.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] Anne is not white.[(((triple1) -> rule5))] @2: Anne is red.[(((((triple1) -> rule4)) -> rule6))] @3: Anne is green.[(((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7))]