Anne is rough. Charlie is furry. Charlie is rough. Charlie is round. Fiona is nice. Harry is furry. Harry is nice. All furry people are rough. Round people are green. Rough people are round.
Harry is not green.
@0: Anne is rough.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Charlie is round.[(triple4 OR ((triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Fiona is nice.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Anne is round.[(((triple1) -> rule3))] Charlie is green.[(((triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule3)) -> rule2))] Harry is rough.[(((triple6) -> rule1))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule2))] Harry is round.[(((((triple6) -> rule1)) -> rule3))] @3: Harry is green.[(((((((triple6) -> rule1)) -> rule3)) -> rule2))]