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.
Erin is not furry.
@0: Erin is red.[(triple1)] Gary is round.[(triple2)] Harry is red.[(triple3)]