Bob is nice. Gary is big. Gary is furry. Gary is not nice. Gary is smart. Harry is not blue. Harry is not green. If something is furry then it is not green. If something is rough then it is not smart. Green, rough things are not smart. If Gary is furry and Gary is green then Gary is blue. All green things are rough. If Harry is furry then Harry is smart. If something is nice and not rough then it is blue. If something is green and not blue then it is big.
Gary is big.
@0: Bob is nice.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] Gary is not nice.[(triple4)] Gary is smart.[(triple5)] Harry is not blue.[(triple6)] Harry is not green.[(triple7)] @1: Gary is not green.[(((triple3) -> rule1))]