Erin is red. Gary is round. Harry is red. If something is red and not round then it is furry. If something is big and not red then it is blue. All blue, red things are big.
Gary is red.
@0: Erin is red.[(triple1)] Gary is round.[(triple2)] Harry is red.[(triple3)]