Anne is quiet. Anne is white. Anne is young. Charlie is white. Erin is nice. Erin is red. Fiona is kind. All kind, green things are young. If something is kind and quiet then it is young. If something is young then it is green. All nice things are white. All quiet things are white. All young, red things are white.
Erin is not green.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule5))] Anne is young.[(triple3)] Charlie is white.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Fiona is kind.[(triple7)] @1: Anne is green.[(((triple3) -> rule3))] Erin is white.[(((triple5) -> rule4))]