Anne is green. Anne is rough. Anne is young. Charlie is big. Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is not rough. Charlie is not smart. Charlie is young. Erin is not big. Erin is not cold. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If something is rough and not young then it is green. Big things are not smart. If Anne is green and Anne is not big then Anne is rough. If Charlie is big and Charlie is quiet then Charlie is cold. If something is quiet and big then it is cold. If something is rough and not smart then it is quiet. If something is rough and green then it is not quiet. If Anne is rough and Anne is not smart then Anne is cold.
Erin is young.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple4 triple7) -> rule4) OR ((triple7 triple4) -> rule5))] Charlie is not green.[(triple6)] Charlie is not rough.[(triple8)] Charlie is not smart.[(triple9 OR ((triple4) -> rule2))] Charlie is quiet.[(triple7)] Charlie is young.[(triple10)] Erin is not big.[(triple11)] Erin is not cold.[(triple12)] Erin is quiet.[(triple13)] Erin is rough.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Anne is not quiet.[(((triple2 triple1) -> rule7))]