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