Charlie is smart. Dave is round. Erin is nice. Harry is smart. If Dave is nice and Dave is smart then Dave is red.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Dave is round.[(triple2)] Erin is nice.[(triple3)] Harry is smart.[(triple4)]