Anne is furry. Anne is nice. Anne is rough. Anne is smart. Charlie is furry. Charlie is not quiet. Charlie is rough. Charlie is young. Fiona is furry. Fiona is nice. Gary is not blue. Gary is furry. Gary is not nice. Gary is rough. Gary is smart. Gary is not young. Nice people are quiet. If someone is nice then they are not young. If Gary is not quiet then Gary is blue. Quiet, furry people are not blue. Rough, young people are not blue. Blue people are rough. If someone is nice and not furry then they are rough. All rough, young people are not smart.
Gary is not quiet.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is furry.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is rough.[(triple7)] Charlie is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Gary is furry.[(triple12)] Gary is not blue.[(triple11)] Gary is not nice.[(triple13)] Gary is not young.[(triple16)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Anne is not young.[(((triple2) -> rule2))] Anne is quiet.[(((triple2) -> rule1))] Charlie is not blue.[(((triple7 triple8) -> rule5))] Charlie is not smart.[(((triple7 triple8) -> rule8))] Fiona is not young.[(((triple10) -> rule2))] Fiona is quiet.[(((triple10) -> rule1))] @2: Anne is not blue.[(((((triple2) -> rule1) triple1) -> rule4))] Fiona is not blue.[(((((triple10) -> rule1) triple9) -> rule4))]