Anne is big. Anne is not furry. Anne is not red. Bob is big. Bob is green. Bob is rough. Bob is not smart. Charlie is furry. Charlie is green. Harry is big. Nice people are big. If Bob is green then Bob is not furry. Furry, big people are smart. If someone is rough and red then they are furry. If someone is rough then they are not furry. All red people are not furry. If someone is nice and furry then they are green. If someone is big and not nice then they are green.
Bob is not green.
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is not red.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Bob is not smart.[(triple7)] Bob is rough.[(triple6)] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Harry is big.[(triple10)] @1: Bob is not furry.[(((triple5) -> rule2) OR ((triple6) -> rule5))]