Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is smart. Gary is young. Harry is furry. Harry is nice. All smart, quiet things are young. All round things are nice. Green things are quiet.
Gary is not young.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3 OR ((triple5) -> rule2))] Fiona is quiet.[(triple4 OR ((triple2) -> rule3))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple2) -> rule3)) -> rule1))] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple9) -> rule3))] Gary is smart.[(triple12)] Gary is young.[(triple13 OR ((triple12 triple11) -> rule1) OR ((triple12 ((triple9) -> rule3)) -> rule1))] Harry is furry.[(triple14)] Harry is nice.[(triple15)]