Dave is furry. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Gary is round. If something is quiet and white then it is smart. If Gary is white then Gary is smart. If Gary is furry then Gary is round.
Dave is green.
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9 OR ((triple7 triple10) -> rule1))] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is round.[(triple12)]