Anne is big. Anne is kind. Anne is nice. Anne is white. Anne is young. Fiona is cold. Fiona is kind. Fiona is quiet. Gary is white. Gary is young. All cold, white people are not young. Quiet people are white.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Fiona is white.[(((triple8) -> rule2))] @2: Fiona is not young.[(((triple6 ((triple8) -> rule2)) -> rule1))]