Charlie is big. Dave is green. Dave is smart. Erin is blue. Harry is big. Harry is not red. Harry is round. If someone is smart and red then they are big. If someone is big and not smart then they are kind.
Erin is blue.
@0: Charlie is big.[(triple1)] Dave is green.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Harry is big.[(triple5)] Harry is not red.[(triple6)] Harry is round.[(triple7)]