Charlie is big. Dave is furry. Harry is red. If Dave is smart and Dave is furry then Dave is big. If Dave is quiet then Dave is smart. If Charlie is quiet then Charlie is not red. If something is smart then it is quiet. If Charlie is red and Charlie is big then Charlie is furry. If something is young and not quiet then it is red.
Dave is not smart.
@0: Charlie is big.[(triple1)] Dave is furry.[(triple2)] Harry is red.[(triple3)]