Bob is not furry. Bob is kind. Bob is not nice. Bob is rough. Bob is white. Gary is blue. Gary is furry. Gary is not green. Gary is kind. Gary is nice. If someone is blue and rough then they are kind. Furry people are not rough.
Bob is green.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is not nice.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not green.[(triple8)] @1: Gary is not rough.[(((triple7) -> rule2))]