Anne is kind. Anne is quiet. Anne is rough. Erin is white. Erin is young. Fiona is cold. Gary is rough. If Erin is young then Erin is cold. All quiet people are white.
Fiona is not white.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6)] Gary is rough.[(triple7)] @1: Anne is white.[(((triple2) -> rule2))] Erin is cold.[(((triple5) -> rule1))]