Anne is cold. Anne is green. Anne is nice. Anne is rough. Dave is blue. Dave is nice. Dave is rough. All nice, furry people are cold. Blue people are green. All green, nice people are furry.
Anne is not rough.
@0: Anne is cold.[(triple1 OR ((triple3 ((triple2 triple3) -> rule3)) -> rule1))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] @1: Anne is furry.[(((triple2 triple3) -> rule3))] Dave is green.[(((triple5) -> rule2))] @2: Dave is furry.[(((((triple5) -> rule2) triple6) -> rule3))] @3: Dave is cold.[(((triple6 ((((triple5) -> rule2) triple6) -> rule3)) -> rule1))]