Anne is furry. Dave is rough. Gary is nice. All round, white people are nice. If someone is rough and white then they are round. White people are round. Round, furry people are rough. If Anne is furry and Anne is nice then Anne is blue. If Anne is round and Anne is kind then Anne is nice. All kind, blue people are nice. If Gary is kind then Gary is nice.
Anne is not furry.
@0: Anne is furry.[(triple1)] Dave is rough.[(triple2)] Gary is nice.[(triple3)]