Anne is not furry. Anne is red. Anne is rough. Anne is not smart. Bob is big. Bob is furry. Bob is not red. Bob is rough. Gary is furry. Gary is red. Gary is young. Harry is big. Harry is furry. Harry is rough. Harry is young. If something is rough and smart then it is furry. If something is red and not smart then it is young.
Bob is red.
@0: Anne is not furry.[(triple1)] Anne is not smart.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple5)] Bob is furry.[(triple6)] Bob is not red.[(triple7)] Bob is rough.[(triple8)] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Anne is young.[(((triple2 triple4) -> rule2))]