Anne is green. Gary is not red. If someone is furry and not round then they are green. All blue people are young. If Anne is big and Anne is blue then Anne is green.
Anne is green.
@0: Anne is green.[(triple1)] Gary is not red.[(triple2)]