Anne is not big. Anne is nice. Anne is red. Bob is big. Bob is nice. Bob is white. Gary is big. Furry things are not white. If something is green then it is furry. Kind things are not green. All kind things are red. All white, big things are nice. If something is furry then it is nice. If Bob is not green then Bob is white. If Gary is not green then Gary is not red.
Bob is big.
@0: Anne is nice.[(triple2)] Anne is not big.[(triple1)] Anne is red.[(triple3)] Bob is big.[(triple4)] Bob is nice.[(triple5 OR ((triple6 triple4) -> rule5))] Bob is white.[(triple6)] Gary is big.[(triple7)]