Bob is not big. Bob is furry. Bob is green. Bob is not kind. Bob is smart. Gary is big. Gary is furry. Gary is not green. Gary is kind. Gary is quiet. If something is green and not red then it is furry. Kind, big things are furry. If Gary is quiet then Gary is kind. All kind, red things are not green. If Gary is smart and Gary is red then Gary is green. If Bob is big and Bob is not furry then Bob is not smart.
Bob is not kind.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not kind.[(triple4)] Bob is smart.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((triple9 triple6) -> rule2) OR ((((triple10) -> rule3) triple6) -> rule2))] Gary is kind.[(triple9 OR ((triple10) -> rule3))] Gary is not green.[(triple8)] Gary is quiet.[(triple10)]