Anne is red. Bob is blue. Bob is kind. Bob is smart. Charlie is round. Erin is red. Erin is smart. If someone is round then they are smart. All rough, red people are green. Rough, green people are blue. All green people are blue. If Erin is smart then Erin is rough. If Anne is green and Anne is not kind then Anne is rough. If Charlie is rough then Charlie is not red. Round, blue people are not red.
Erin is not green.
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Charlie is round.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] @1: Charlie is smart.[(((triple5) -> rule1))] Erin is rough.[(((triple7) -> rule5))] @2: Erin is green.[(((((triple7) -> rule5) triple6) -> rule2))] @3: Erin is blue.[(((((((triple7) -> rule5) triple6) -> rule2)) -> rule4) OR ((((triple7) -> rule5) ((((triple7) -> rule5) triple6) -> rule2)) -> rule3))]