Anne is green. Anne is kind. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is green. Charlie is rough. Charlie is not young. Erin is kind. Erin is white. Harry is big. Harry is green. Harry is kind. Harry is white. Harry is young. Big things are green. All young things are big.
Erin is not big.
@0: Anne is green.[(triple1 OR ((((triple5) -> rule2)) -> rule1))] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7 OR ((triple6) -> rule1))] Charlie is not young.[(triple9)] Charlie is rough.[(triple8)] Erin is kind.[(triple10)] Erin is white.[(triple11)] Harry is big.[(triple12 OR ((triple16) -> rule2))] Harry is green.[(triple13 OR ((triple12) -> rule1) OR ((((triple16) -> rule2)) -> rule1))] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Anne is big.[(((triple5) -> rule2))]