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