Anne is big. Anne is white. Fiona is furry. Fiona is green. Gary is big. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is young. If Anne is big then Anne is white. If Fiona is furry and Fiona is round then Fiona is rough. Young things are furry. All white things are furry. All green things are young. Young things are furry.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule1))] Fiona is furry.[(triple3 OR ((((triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule5)) -> rule6))] Fiona is green.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((triple10) -> rule3) OR ((triple10) -> rule6) OR ((((triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule5)) -> rule6))] Gary is green.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10 OR ((triple7) -> rule5))] @1: Anne is furry.[(((triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] Fiona is young.[(((triple4) -> rule5))]