Bob is red. Bob is white. Charlie is not nice. Charlie is quiet. Charlie is young. Erin is furry. Erin is red. Harry is not furry. Harry is green. Harry is nice. Harry is not quiet. Harry is white. If someone is young and not quiet then they are nice. All furry, green people are not young.
Charlie is not quiet.
@0: Bob is red.[(triple1)] Bob is white.[(triple2)] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Erin is furry.[(triple6)] Erin is red.[(triple7)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is not furry.[(triple8)] Harry is not quiet.[(triple11)] Harry is white.[(triple12)]