Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is white. Round, white people are furry.
Fiona is round.
@0: Dave is furry.[(triple1 OR ((triple5 triple7) -> rule1))] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] Gary is furry.[(triple11 OR ((triple14 triple16) -> rule1))] Gary is nice.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)]