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