Anne is blue. Anne is furry. Anne is not rough. Anne is white. Anne is not young. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is rough. Fiona is white. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is young. Young things are furry. All furry things are big. If something is red and not white then it is big.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not rough.[(triple3)] Anne is not young.[(triple5)] Anne is white.[(triple4)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is not furry.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] Gary is big.[(triple11 OR ((triple13) -> rule2) OR ((((triple16) -> rule1)) -> rule2))] Gary is blue.[(triple12)] Gary is furry.[(triple13 OR ((triple16) -> rule1))] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Anne is big.[(((triple2) -> rule2))]