Anne is blue. Anne is furry. Anne is white. Erin is furry. Erin is nice. Erin is white. Harry is blue. Harry is furry. Harry is green. Harry is quiet. All young, furry things are white. Green things are nice. If something is blue and nice then it is quiet.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Erin is white.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple7 ((triple9) -> rule2)) -> rule3))] @1: Harry is nice.[(((triple9) -> rule2))]