Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is not red. Bob is cold. Bob is furry. Bob is not green. Bob is nice. Bob is red. Bob is not rough. Bob is white. All rough, cold people are nice. If someone is green and not cold then they are nice. If someone is rough then they are nice. If Anne is furry and Anne is rough then Anne is not green. If Bob is rough and Bob is white then Bob is not red. All green, nice people are white. If someone is red and not cold then they are furry. All white, cold people are furry.
Bob is not red.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((((triple3 triple4) -> rule6) triple1) -> rule8))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7 OR ((triple12 triple6) -> rule8))] Bob is nice.[(triple9)] Bob is not green.[(triple8)] Bob is not rough.[(triple11)] Bob is red.[(triple10)] Bob is white.[(triple12)] @1: Anne is white.[(((triple3 triple4) -> rule6))]