Anne is cold. Anne is not kind. Anne is quiet. Anne is red. Anne is round. Anne is white. Erin is cold. Erin is kind. Erin is quiet. Erin is not red. Erin is smart. Erin is not white. Gary is kind. Gary is quiet. Gary is not red. If Anne is kind then Anne is not smart.
Erin is quiet.
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is not red.[(triple10)] Erin is not white.[(triple12)] Erin is quiet.[(triple9)] Erin is smart.[(triple11)] Gary is kind.[(triple13)] Gary is not red.[(triple15)] Gary is quiet.[(triple14)]