Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Gary is blue. Gary is green. Gary is quiet. Gary is young. White things are rough. If something is green then it is white. Green, blue things are quiet. White things are quiet. If Gary is rough and Gary is quiet then Gary is not nice. If something is quiet and not green then it is young.
Gary is nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6) -> rule4) OR ((triple2 triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule4))] Anne is rough.[(triple5 OR ((triple6) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is white.[(triple6 OR ((triple2) -> rule2))] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9 OR ((triple8 triple7) -> rule3) OR ((((triple8) -> rule2)) -> rule4))] Gary is young.[(triple10)] @1: Gary is white.[(((triple8) -> rule2))] @2: Gary is rough.[(((((triple8) -> rule2)) -> rule1))] @3: Gary is not nice.[(((((((triple8) -> rule2)) -> rule1) triple9) -> rule5) OR ((((((triple8) -> rule2)) -> rule1) ((triple8 triple7) -> rule3)) -> rule5) OR ((((((triple8) -> rule2)) -> rule1) ((((triple8) -> rule2)) -> rule4)) -> rule5))]