Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Dave is big. Dave is furry. Dave is quiet. Dave is young. Fiona is blue. Gary is big. Gary is furry. Gary is quiet. Gary is smart. Gary is young. All smart, young people are quiet.
Fiona is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is quiet.[(triple9)] Dave is young.[(triple10)] Fiona is blue.[(triple11)] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14 OR ((triple15 triple16) -> rule1))] Gary is smart.[(triple15)] Gary is young.[(triple16)]