Anne is furry. Charlie is nice. Dave is white. Gary is round. If Anne is round and Anne is nice then Anne is rough. All nice, furry people are kind. All round, nice people are rough.
Charlie is white.
@0: Anne is furry.[(triple1)] Charlie is nice.[(triple2)] Dave is white.[(triple3)] Gary is round.[(triple4)]