Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is rough. Gary is big. Gary is green. Gary is red. Gary is rough. If Anne is nice then Anne is red. All green people are young.
Gary is nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple4) -> rule1))] Anne is rough.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Anne is young.[(((triple3) -> rule2))] Gary is young.[(((triple8) -> rule2))]