Anne is not rough. Bob is cold. Erin is cold. Gary is furry. Big, nice things are cold. If Gary is not furry then Gary is big. If Bob is furry then Bob is blue. If something is big and not furry then it is rough. All nice things are round. If something is big and cold then it is nice.
Anne is blue.
@0: Anne is not rough.[(triple1)] Bob is cold.[(triple2)] Erin is cold.[(triple3)] Gary is furry.[(triple4)]