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