Anne is not green. Anne is nice. Anne is young. Erin is furry. Erin is green. Erin is not kind. Erin is nice. Fiona is furry. Fiona is green. Fiona is not nice. Harry is kind. Harry is round. If Fiona is furry and Fiona is round then Fiona is white. White, round things are green. If something is round and white then it is nice. All furry, young things are nice. All furry, round things are nice. Green, round things are not young. Kind things are furry. If Erin is kind and Erin is not white then Erin is young.
Erin is young.
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is young.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple7)] Erin is not kind.[(triple6)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is not nice.[(triple10)] Harry is kind.[(triple11)] Harry is round.[(triple12)] @1: Harry is furry.[(((triple11) -> rule7))] @2: Harry is nice.[(((((triple11) -> rule7) triple12) -> rule5))]