Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is nice. Charlie is red. Charlie is young. Fiona is furry. Gary is kind. Gary is white. All furry people are white. All kind people are young.
Fiona is not young.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is nice.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8)] Gary is kind.[(triple9)] Gary is white.[(triple10)] @1: Fiona is white.[(((triple8) -> rule1))] Gary is young.[(((triple9) -> rule2))]