その設置インスタンスは日本出版会でない
fact1: 「超過しないか決定者であるかまたはどちらもな」ものはある fact2: 仮に「「決め難くないかあるいは聞こえ難いかあるいは両方だ」ということは正しい」ものがあるならその設置インスタンスはイートン校である fact3: 聞こえ難くなくて決め難い物は日本出版会でない fact4: もしあるものがイートン校ならそれは日本出版会である fact5: 「決め難くないかもしくは聞こえ難いかまたは両方な」ものはある
fact5 & fact2 -> int1: 「その設置インスタンスはイートン校だ」ということは本当だ; fact4 -> int2: もし仮にその設置インスタンスはイートン校であるならばそれは日本出版会である; int1 & int2 -> hypothesis;
fact5 & fact2 -> int1: {C}{a}; fact4 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
その設置インスタンスは日本出版会でない
fact6 -> int3: もしもその設置インスタンスが聞こえ難くないがそれが決め難いとしたら日本出版会でない;
$facts$ = fact1: 「超過しないか決定者であるかまたはどちらもな」ものはある fact2: 仮に「「決め難くないかあるいは聞こえ難いかあるいは両方だ」ということは正しい」ものがあるならその設置インスタンスはイートン校である fact3: 聞こえ難くなくて決め難い物は日本出版会でない fact4: もしあるものがイートン校ならそれは日本出版会である fact5: 「決め難くないかもしくは聞こえ難いかまたは両方な」ものはある ; $hypothesis$ = その設置インスタンスは日本出版会でない ; $proof$ = 
fact5 & fact2 -> int1: 「その設置インスタンスはイートン校だ」ということは本当だ; fact4 -> int2: もし仮にその設置インスタンスはイートン校であるならばそれは日本出版会である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「超過しないか決定者であるかまたはどちらもな」ものはある
事実2: 仮に「「決め難くないかあるいは聞こえ難いかあるいは両方だ」ということは正しい」ものがあるならその設置インスタンスはイートン校である
事実3: 聞こえ難くなくて決め難い物は日本出版会でない
事実4: もしあるものがイートン校ならそれは日本出版会である
事実5: 「決め難くないかもしくは聞こえ難いかまたは両方な」ものはある

仮説: その設置インスタンスは日本出版会でない
1. 事実5と事実2から、推論1: "「その設置インスタンスはイートン校だ」ということは本当だ"が導かれる
2. 事実4から、推論2: "もし仮にその設置インスタンスはイートン校であるならばそれは日本出版会である"が導かれる
3. 推論1と推論2から、仮説が否定される

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