Dave is cold. Dave is furry. Dave is quiet. Dave is smart. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If Dave is green and Dave is quiet then Dave is smart. If Gary is green then Gary is furry.
Gary is not nice.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule2))] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is smart.[(triple10)]