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