Anne is red. Bob is not blue. Bob is nice. Charlie is not red. Erin is blue. Erin is nice. Erin is not rough. All green people are red. Nice people are not young.
Erin is not red.
@0: Anne is red.[(triple1)] Bob is nice.[(triple3)] Bob is not blue.[(triple2)] Charlie is not red.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is not rough.[(triple7)] @1: Bob is not young.[(((triple3) -> rule2))] Erin is not young.[(((triple6) -> rule2))]