Anne is kind. Erin is kind. Fiona is not quiet. Gary is quiet. If something is green then it is white. If Erin is furry then Erin is rough. Rough things are not furry. If Fiona is not white then Fiona is rough. If something is furry then it is not smart. Quiet, furry things are smart. White things are quiet. If something is furry and not rough then it is quiet.
Fiona is not quiet.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Fiona is not quiet.[(triple3)] Gary is quiet.[(triple4)]