Anne is furry. Erin is nice. Fiona is not furry. Harry is green. If Erin is big and Erin is furry then Erin is not nice. If Fiona is not green then Fiona is white. All big, furry things are not nice. All kind things are round. Round, big things are kind. If Anne is not round and Anne is not furry then Anne is white.
Erin is nice.
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Fiona is not furry.[(triple3)] Harry is green.[(triple4)]