Anne is big. Anne is blue. Anne is green. Anne is not nice. Anne is rough. Anne is young. Fiona is nice. Gary is big. Gary is blue. Gary is not rough. If someone is nice and green then they are big. If someone is green and not nice then they are quiet.
Fiona is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not nice.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Fiona is nice.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is not rough.[(triple10)] @1: Anne is quiet.[(((triple3 triple4) -> rule2))]