Bob is blue. Bob is not green. Charlie is kind. Charlie is not red. Charlie is smart. Charlie is not white. Erin is green. Erin is smart. Erin is white. Gary is blue. Gary is green. Gary is kind. Gary is not red. Gary is round. Gary is smart. Gary is white. If Erin is kind then Erin is round. If Charlie is white and Charlie is not red then Charlie is not green. If something is red then it is not round. All red things are round. If Bob is not red then Bob is kind. White, red things are smart. If Erin is blue and Erin is green then Erin is not smart. If something is red and not kind then it is not blue.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not red.[(triple4)] Charlie is not white.[(triple6)] Charlie is smart.[(triple5)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is not red.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)]