Anne is quiet. Anne is white. Erin is red. Erin is smart. Fiona is red. Gary is kind. Gary is red. If Gary is smart and Gary is green then Gary is kind. If something is green and not white then it is kind. If something is white and not red then it is kind. Red things are not green. All kind things are not quiet. If Erin is not green then Erin is kind.
Erin is kind.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Fiona is red.[(triple5)] Gary is kind.[(triple6)] Gary is red.[(triple7)] @1: Erin is not green.[(((triple3) -> rule4))] Fiona is not green.[(((triple5) -> rule4))] Gary is not green.[(((triple7) -> rule4))] Gary is not quiet.[(((triple6) -> rule5))] @2: Erin is kind.[(((((triple3) -> rule4)) -> rule6))] @3: Erin is not quiet.[(((((((triple3) -> rule4)) -> rule6)) -> rule5))]