Anne is cold. Anne is nice. Anne is red. Anne is young. Bob is cold. Bob is kind. Bob is nice. Bob is white. Bob is young. Erin is cold. Erin is kind. Gary is round. If Anne is round and Anne is cold then Anne is kind.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Gary is round.[(triple12)]