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