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