Exclusive disjunctions with three disjuncts from first-order predicate calculus