Anne is cold. Anne is furry. Anne is smart. Anne is white. Bob is cold. Bob is young. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Gary is cold. Gary is furry. If Gary is cold then Gary is white. Furry, white things are young. If Dave is red then Dave is rough. All young things are rough. If something is cold then it is white. If Bob is smart and Bob is rough then Bob is white. If something is white then it is cold. Rough things are cold.
Anne is not red.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule7) OR ((((((triple2 triple4) -> rule2)) -> rule4)) -> rule8))] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4 OR ((triple1) -> rule5))] Bob is cold.[(triple5 OR ((((triple6) -> rule4)) -> rule8))] Bob is young.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule8))] Dave is furry.[(triple8)] Dave is rough.[(triple9 OR ((((triple8 ((triple7) -> rule5)) -> rule2)) -> rule4))] Dave is smart.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] @1: Anne is young.[(((triple2 triple4) -> rule2) OR ((triple2 ((triple1) -> rule5)) -> rule2))] Bob is rough.[(((triple6) -> rule4))] Bob is white.[(((triple5) -> rule5) OR ((((((triple6) -> rule4)) -> rule8)) -> rule5))] Dave is white.[(((triple7) -> rule5) OR ((((triple9) -> rule8)) -> rule5))] Gary is white.[(((triple11) -> rule1) OR ((triple11) -> rule5))] @2: Anne is rough.[(((((triple2 triple4) -> rule2)) -> rule4) OR ((((triple2 ((triple1) -> rule5)) -> rule2)) -> rule4))] Dave is young.[(((triple8 ((triple7) -> rule5)) -> rule2) OR ((triple8 ((((triple9) -> rule8)) -> rule5)) -> rule2))] Gary is young.[(((triple12 ((triple11) -> rule1)) -> rule2) OR ((triple12 ((triple11) -> rule5)) -> rule2))] @3: Gary is rough.[(((((triple12 ((triple11) -> rule1)) -> rule2)) -> rule4) OR ((((triple12 ((triple11) -> rule5)) -> rule2)) -> rule4))]