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