Anne is green. Anne is not kind. Anne is not nice. Anne is quiet. Anne is not round. Anne is young. Erin is quiet. Erin is young. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is not round. Gary is smart. Gary is not young. If Gary is round then Gary is smart. If something is young then it is green.
Gary is not nice.
@0: Anne is green.[(triple1 OR ((triple6) -> rule2))] Anne is not kind.[(triple2)] Anne is not nice.[(triple3)] Anne is not round.[(triple5)] Anne is quiet.[(triple4)] Anne is young.[(triple6)] Erin is quiet.[(triple7)] Erin is young.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is not round.[(triple13)] Gary is not young.[(triple15)] Gary is quiet.[(triple12)] Gary is smart.[(triple14)] @1: Erin is green.[(((triple8) -> rule2))]