Erin is big. Erin is white. Gary is blue. Gary is quiet. Gary is smart. Harry is red. Harry is smart. If something is big and red then it is white. If Erin is round and Erin is blue then Erin is quiet.
Harry is not red.
@0: Erin is big.[(triple1)] Erin is white.[(triple2)] Gary is blue.[(triple3)] Gary is quiet.[(triple4)] Gary is smart.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)]