Anne is big. Anne is furry. Anne is kind. Anne is not quiet. Anne is not red. Anne is rough. Anne is young. Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is not red. Bob is rough. Bob is young. If something is big and young then it is furry. If Bob is red then Bob is not rough.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple7) -> rule1))] Anne is kind.[(triple3)] Anne is not quiet.[(triple4)] Anne is not red.[(triple5)] Anne is rough.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is furry.[(triple9 OR ((triple8 triple14) -> rule1))] Bob is kind.[(triple10)] Bob is not red.[(triple12)] Bob is quiet.[(triple11)] Bob is rough.[(triple13)] Bob is young.[(triple14)]