Bob is nice. Bob is rough. Bob is smart. Charlie is not red. Fiona is nice. Fiona is not white. Gary is furry. Gary is nice. Gary is not quiet. Gary is red. If Charlie is nice and Charlie is not red then Charlie is white. Quiet, nice people are rough. If someone is red and not smart then they are furry.
Charlie is not red.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Charlie is not red.[(triple4)] Fiona is nice.[(triple5)] Fiona is not white.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not quiet.[(triple9)] Gary is red.[(triple10)]