Charlie is nice. Charlie is smart. Erin is furry. Erin is kind. Erin is not nice. Erin is not red. Erin is white. Fiona is furry. Harry is furry. Harry is nice. Harry is not quiet. Harry is red. If something is white and not quiet then it is not furry. If Harry is smart and Harry is not white then Harry is not furry.
Fiona is not furry.
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Erin is not red.[(triple6)] Erin is white.[(triple7)] Fiona is furry.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)]