Anne is not big. Anne is blue. Anne is not quiet. Anne is red. Bob is big. Bob is blue. Bob is furry. Bob is young. Gary is quiet. Gary is red. Gary is rough. Harry is not red. If Gary is blue then Gary is not big. Blue people are rough. Blue people are rough. If Harry is big and Harry is red then Harry is young. If Gary is not big then Gary is quiet. If Gary is rough and Gary is furry then Gary is quiet.
Harry is not rough.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is young.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Harry is not red.[(triple12)] @1: Anne is rough.[(((triple2) -> rule2) OR ((triple2) -> rule3))] Bob is rough.[(((triple6) -> rule2) OR ((triple6) -> rule3))]