Anne is cold. Anne is not kind. Anne is not quiet. Anne is not red. Anne is round. Anne is white. Anne is young. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is not round. Gary is white. Gary is young. If Gary is not red then Gary is not round. Red people are young. If Anne is white then Anne is young. If Anne is not young then Anne is kind. If someone is kind and not cold then they are round. If someone is white and not round then they are quiet.
Gary is not quiet.
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule3))] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is not round.[(triple12)] Gary is quiet.[(triple10 OR ((triple13 triple12) -> rule6))] Gary is red.[(triple11)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple11) -> rule2))]