Anne is green. Erin is not kind. Erin is round. If someone is green and nice then they are not young. All green people are young. If someone is nice then they are white. All white people are not green. If someone is young then they are rough. All white people are not nice. If Anne is white and Anne is young then Anne is kind. If someone is young and not kind then they are round.
Erin is kind.
@0: Anne is green.[(triple1)] Erin is not kind.[(triple2)] Erin is round.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule5))]