Anne is not blue. Anne is furry. Anne is quiet. Anne is red. Anne is smart. Anne is not white. Anne is young. Gary is blue. Gary is not furry. Gary is quiet. Gary is not red. Gary is smart. Gary is white. Gary is young. If Gary is red and Gary is not white then Gary is blue. If Anne is young and Anne is quiet then Anne is red. If Anne is not white then Anne is red. If something is red and smart then it is quiet. If something is blue and not young then it is quiet. If something is young and blue then it is smart. If something is white then it is smart. If something is white and not blue then it is smart.
Gary is not red.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is not white.[(triple6)] Anne is quiet.[(triple3 OR ((triple4 triple5) -> rule4) OR ((((triple6) -> rule3) triple5) -> rule4))] Anne is red.[(triple4 OR ((triple6) -> rule3) OR ((triple7 triple3) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple7)] Gary is blue.[(triple8)] Gary is not furry.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is smart.[(triple12 OR ((triple13) -> rule7) OR ((triple14 triple8) -> rule6))] Gary is white.[(triple13)] Gary is young.[(triple14)]