Anne is smart. Charlie is smart. Erin is red. Gary is quiet. All smart, green people are red. If someone is cold and quiet then they are green.
Erin is not red.
@0: Anne is smart.[(triple1)] Charlie is smart.[(triple2)] Erin is red.[(triple3)] Gary is quiet.[(triple4)]