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