Anne is green. Anne is rough. Erin is nice. If someone is young and round then they are rough. All cold, young people are green. If someone is cold and nice then they are not green. Rough people are not young. If someone is round and not cold then they are not smart. If Erin is young then Erin is green. Cold people are round. If Erin is rough and Erin is smart then Erin is nice.
Erin is not round.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Erin is nice.[(triple3)] @1: Anne is not young.[(((triple2) -> rule4))]