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