Bob is furry. Bob is not kind. Bob is rough. Bob is smart. Gary is blue. Gary is furry. Gary is kind. Gary is not red. Gary is not rough. Gary is smart. Kind, red things are rough. If something is blue and round then it is rough. If something is blue and not round then it is rough. Blue things are kind. If something is blue and not smart then it is not kind. Round, kind things are not red. If Gary is not smart then Gary is red. If Gary is furry and Gary is not smart then Gary is kind.
Bob is smart.
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7 OR ((triple5) -> rule4))] Gary is not red.[(triple8)] Gary is not rough.[(triple9)] Gary is smart.[(triple10)]