Anne is big. Anne is round. Anne is white. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is round. Gary is white. Gary is young. All big things are green. All green things are furry. All blue things are green.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Gary is green.[(triple7 OR ((triple4) -> rule1) OR ((triple5) -> rule3))] Gary is round.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Anne is green.[(((triple1) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule2))]