Dave is big. Dave is cold. Dave is green. Dave is not red. Dave is smart. Dave is white. Gary is big. Gary is not smart. Harry is big. Harry is blue. Harry is cold. Harry is not green. Harry is not red. Harry is smart. Harry is white. If Harry is not white then Harry is not smart. If something is red and not big then it is smart. White things are not red.
Gary is not blue.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is not red.[(triple4 OR ((triple6) -> rule3))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Gary is big.[(triple7)] Gary is not smart.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not green.[(triple12)] Harry is not red.[(triple13 OR ((triple15) -> rule3))] Harry is smart.[(triple14)] Harry is white.[(triple15)]