「「もしも相互交流しないとしたら薬問屋であるかエポックであるか両方である」ものはある」ということは本当でない
fact1: 「もし相互交流すれば薬問屋であるかあるいはエポックであるか両方ともな」ものはある fact2: もしも「あの総計は相互交流しない」ということは間違いでないとしたらそれは薬問屋であるかまたはエポックだ fact3: もしあの総計が相互交流すれば薬問屋であるかまたはエポックである
fact2 -> hypothesis;
$facts$ = fact1: 「もし相互交流すれば薬問屋であるかあるいはエポックであるか両方ともな」ものはある fact2: もしも「あの総計は相互交流しない」ということは間違いでないとしたらそれは薬問屋であるかまたはエポックだ fact3: もしあの総計が相互交流すれば薬問屋であるかまたはエポックである ; $hypothesis$ = 「「もしも相互交流しないとしたら薬問屋であるかエポックであるか両方である」ものはある」ということは本当でない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もし相互交流すれば薬問屋であるかあるいはエポックであるか両方ともな」ものはある
事実2: もしも「あの総計は相互交流しない」ということは間違いでないとしたらそれは薬問屋であるかまたはエポックだ
事実3: もしあの総計が相互交流すれば薬問屋であるかまたはエポックである

仮説: 「「もしも相互交流しないとしたら薬問屋であるかエポックであるか両方である」ものはある」ということは本当でない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。