Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is round. Anne is young. Gary is not blue. Gary is furry. Gary is not green. Gary is kind. Gary is not round. Gary is young. Harry is not blue. Harry is furry. Harry is quiet. Harry is not round. If Anne is green and Anne is young then Anne is quiet. If Gary is young and Gary is blue then Gary is furry. If something is green then it is quiet. If something is blue and not green then it is quiet. If something is green and not blue then it is furry. Green, round things are not kind.
Anne is not round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Gary is furry.[(triple8)] Gary is kind.[(triple10)] Gary is not blue.[(triple7)] Gary is not green.[(triple9)] Gary is not round.[(triple11)] Gary is young.[(triple12)] Harry is furry.[(triple14)] Harry is not blue.[(triple13)] Harry is not round.[(triple16)] Harry is quiet.[(triple15)]