Anne is cold. Anne is not green. Bob is red. Erin is furry. Harry is cold. Harry is green. Harry is rough. If someone is red then they are furry. If Erin is quiet and Erin is furry then Erin is not red. If someone is white and not rough then they are green. Furry people are green. All quiet, furry people are cold. If someone is white then they are red. All furry, green people are not quiet. If someone is cold then they are quiet.
Bob is not rough.
@0: Anne is cold.[(triple1)] Anne is not green.[(triple2)] Bob is red.[(triple3)] Erin is furry.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule8))] Bob is furry.[(((triple3) -> rule1))] Erin is green.[(((triple4) -> rule4))] Harry is quiet.[(((triple5) -> rule8))] @2: Bob is green.[(((((triple3) -> rule1)) -> rule4))] Erin is not quiet.[(((triple4 ((triple4) -> rule4)) -> rule7))] @3: Bob is not quiet.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule4)) -> rule7))]