Dave is big. Dave is quiet. Gary is big. Gary is cold. Gary is green. Gary is quiet. Gary is smart. All cold people are smart.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7 OR ((triple4) -> rule1))]