Bob is blue. Charlie is kind. Erin is quiet. Gary is not kind. If Erin is nice and Erin is kind then Erin is smart. If someone is red then they are kind. All smart people are not kind. Kind, nice people are smart. If Bob is not blue then Bob is nice. If Gary is not red then Gary is not blue.
Charlie is kind.
@0: Bob is blue.[(triple1)] Charlie is kind.[(triple2)] Erin is quiet.[(triple3)] Gary is not kind.[(triple4)]