Anne is furry. Anne is nice. Anne is not rough. Erin is not furry. Erin is green. Erin is nice. Erin is not rough. Harry is furry. Harry is nice. Harry is not quiet. Harry is rough. Harry is young. Furry things are not green. If something is quiet and not white then it is nice. If something is white and furry then it is nice. All green things are nice. If Harry is white and Harry is not furry then Harry is young. If something is white and green then it is rough.
Anne is nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Erin is green.[(triple5)] Erin is nice.[(triple6 OR ((triple5) -> rule4))] Erin is not furry.[(triple4)] Erin is not rough.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is not quiet.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Anne is not green.[(((triple1) -> rule1))] Harry is not green.[(((triple8) -> rule1))]