Anne is cold. Anne is young. Dave is cold. Dave is kind. Dave is smart. Gary is kind. Gary is young. Young, green people are furry. If someone is smart and young then they are furry. Cold, nice people are smart. Kind, furry people are cold. Cold people are smart. Furry, young people are green. Furry, nice people are smart. Furry, green people are young.
Gary is not green.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5 OR ((triple3) -> rule5))] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Anne is smart.[(((triple1) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule5) triple2) -> rule2))] @3: Anne is green.[(((((((triple1) -> rule5) triple2) -> rule2) triple2) -> rule6))]