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