Anne is nice. Charlie is kind. Erin is kind. If someone is kind then they are red. All nice people are kind. If someone is nice and kind then they are rough. All kind people are cold. If Charlie is green then Charlie is kind. Red, green people are nice. If someone is red and cold then they are not young. If Erin is nice and Erin is not red then Erin is rough.
Erin is not nice.
@0: Anne is nice.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Charlie is cold.[(((triple2) -> rule4))] Charlie is red.[(((triple2) -> rule1))] Erin is cold.[(((triple3) -> rule4))] Erin is red.[(((triple3) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule2)) -> rule4))] Anne is red.[(((((triple1) -> rule2)) -> rule1))] Anne is rough.[(((triple1 ((triple1) -> rule2)) -> rule3))] Charlie is not young.[(((((triple2) -> rule1) ((triple2) -> rule4)) -> rule7))] Erin is not young.[(((((triple3) -> rule1) ((triple3) -> rule4)) -> rule7))] @3: Anne is not young.[(((((((triple1) -> rule2)) -> rule1) ((((triple1) -> rule2)) -> rule4)) -> rule7))]