Charlie is smart. Dave is round. Erin is furry. Harry is smart. Cold, red people are big. If Charlie is round and Charlie is furry then Charlie is cold. White people are furry.
Erin is furry.
@0: Charlie is smart.[(triple1)] Dave is round.[(triple2)] Erin is furry.[(triple3)] Harry is smart.[(triple4)]