Anne is blue. Fiona is blue. Gary is white. If something is white and furry then it is young. All white, young things are red. All blue things are rough. If Fiona is white and Fiona is furry then Fiona is blue. Young things are white. If something is green and white then it is red.
Fiona is not white.
@0: Anne is blue.[(triple1)] Fiona is blue.[(triple2)] Gary is white.[(triple3)] @1: Anne is rough.[(((triple1) -> rule3))] Fiona is rough.[(((triple2) -> rule3))]