Bob is furry. Charlie is not nice. Erin is furry. Gary is not kind. If Charlie is quiet then Charlie is not red. If something is nice then it is kind.
Gary is round.
@0: Bob is furry.[(triple1)] Charlie is not nice.[(triple2)] Erin is furry.[(triple3)] Gary is not kind.[(triple4)]