Anne is white. Erin is rough. Fiona is rough. Gary is quiet. If someone is rough and red then they are furry. If someone is quiet and nice then they are red. All white people are nice. If someone is white and rough then they are nice. If someone is young and white then they are quiet. If Anne is furry then Anne is white. All nice people are red. If Erin is quiet and Erin is white then Erin is young.
Anne is not white.
@0: Anne is white.[(triple1)] Erin is rough.[(triple2)] Fiona is rough.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is nice.[(((triple1) -> rule3))] @2: Anne is red.[(((((triple1) -> rule3)) -> rule7))]