Erin is quiet. Erin is smart. Harry is big. All red people are round. If someone is round and not red then they are not blue.
Harry is not round.
@0: Erin is quiet.[(triple1)] Erin is smart.[(triple2)] Harry is big.[(triple3)]