Anne is blue. Anne is not green. Anne is kind. Anne is not red. Anne is rough. Anne is young. Erin is not blue. Erin is green. Erin is not kind. Erin is red. Erin is smart. Erin is not young. Gary is green. Gary is not red. Gary is rough. If Anne is red then Anne is green. If Anne is blue then Anne is rough. If someone is red and blue then they are not green.
Erin is smart.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not red.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule2))] Anne is young.[(triple6)] Erin is green.[(triple8)] Erin is not blue.[(triple7)] Erin is not kind.[(triple9)] Erin is not young.[(triple12)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Gary is green.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)]