Anne is furry. Anne is green. Anne is kind. Anne is not rough. Anne is smart. Anne is young. Fiona is blue. Fiona is furry. Fiona is not kind. Fiona is young. Harry is not blue. Harry is furry. Harry is kind. Harry is rough. Harry is not smart. Harry is young. All green things are furry.
Anne is not young.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is not kind.[(triple9)] Fiona is young.[(triple10)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not blue.[(triple11)] Harry is not smart.[(triple15)] Harry is rough.[(triple14)] Harry is young.[(triple16)]