Dave is blue. Dave is cold. Dave is not kind. Gary is cold. Gary is furry. Gary is not kind. Gary is nice. Gary is rough. Gary is smart. Harry is nice. Harry is rough. Harry is smart. If Gary is blue then Gary is not nice. If something is rough and not furry then it is blue. If something is furry then it is smart. All kind things are smart. If Gary is rough and Gary is kind then Gary is not smart. If something is blue then it is cold.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple1) -> rule6))] Dave is not kind.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple7)] Gary is not kind.[(triple6)] Gary is rough.[(triple8)] Gary is smart.[(triple9 OR ((triple5) -> rule3))] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)]