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