Charlie is big. Dave is nice. Erin is white. Harry is nice. All red, big things are quiet. If Charlie is furry and Charlie is quiet then Charlie is red. Smart things are nice. Red things are nice. If Dave is nice and Dave is white then Dave is big. All smart, big things are quiet. All smart, nice things are quiet. All quiet things are smart.
Dave is not quiet.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] Erin is white.[(triple3)] Harry is nice.[(triple4)]