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