Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is young. Erin is green. Erin is quiet. Erin is red. Erin is young. Gary is rough. If someone is rough then they are blue. All red, green people are cold. Red, cold people are rough.
Anne is green.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is young.[(triple9)] Gary is rough.[(triple10)] @1: Erin is cold.[(((triple8 triple6) -> rule2))] Gary is blue.[(((triple10) -> rule1))] @2: Erin is rough.[(((triple8 ((triple8 triple6) -> rule2)) -> rule3))] @3: Erin is blue.[(((((triple8 ((triple8 triple6) -> rule2)) -> rule3)) -> rule1))]