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