Anne is green. Anne is nice. Anne is white. Fiona is blue. Fiona is green. Gary is white. Gary is young. If Gary is furry then Gary is young. White, nice things are blue. All white things are nice. White, blue things are green. If something is blue and big then it is white. If something is furry then it is big. Big, nice things are white. If something is furry and blue then it is big.
Anne is big.
@0: Anne is green.[(triple1 OR ((triple3 ((triple3 triple2) -> rule2)) -> rule4) OR ((triple3 ((triple3 ((triple3) -> rule3)) -> rule2)) -> rule4))] Anne is nice.[(triple2 OR ((triple3) -> rule3))] Anne is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Anne is blue.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule2))] Gary is nice.[(((triple6) -> rule3))] @2: Gary is blue.[(((triple6 ((triple6) -> rule3)) -> rule2))] @3: Gary is green.[(((triple6 ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule4))]