Anne is big. Anne is green. Anne is red. Dave is furry. Fiona is furry. Fiona is rough. Fiona is young. Gary is big. Gary is rough. Gary is young. All furry things are nice.
Gary is not nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Dave is furry.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Dave is nice.[(((triple4) -> rule1))] Fiona is nice.[(((triple5) -> rule1))]