Charlie is big. Charlie is furry. Charlie is red. Dave is green. Erin is blue. Harry is blue. Harry is red. If Dave is blue and Dave is big then Dave is furry. Smart things are quiet. Smart things are red.
Erin is not blue.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Dave is green.[(triple4)] Erin is blue.[(triple5)] Harry is blue.[(triple6)] Harry is red.[(triple7)]