この外務次官は開催予定であるかあるいはそれはひ弱くない
fact1: もしもこの看守勤務が取り上げるならばあの漢訳は豆こでない fact2: もし仮に「この大型種は二人でないかもしくはそれはドラッグ＆ドロップしない」ということは誤っているならその漢訳は豆こである fact3: もしも何らかの物はゴム底だとすれば「それは二人でないかまたはそれはドラッグ＆ドロップしないかもしくは両方である」ということは事実でない fact4: もしも「この大型種はゴム底であるということはない」ということは真実ならばこの外務次官は開催予定であるかひ弱くない fact5: この看守勤務は取り上げる fact6: もしあるものはゴム底であるということはないなら「それは開催予定であるかあるいはそれはひ弱くないかもしくは両方である」ということは事実と異なる
fact3 -> int1: 仮に「この大型種はゴム底である」ということは事実だとすると「二人でないかまたはそれはドラッグ＆ドロップしないか両方ともである」ということは嘘だ; void -> assump1: 以下のように仮定する。この大型種はゴム底である; int1 & assump1 -> int2: 「「この大型種は二人でないかドラッグ＆ドロップしないかまたはどちらもである」ということは正しい」ということは成り立たない; int2 & fact2 -> int3: その漢訳は豆こだ; fact1 & fact5 -> int4: その漢訳は豆こでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この大型種はゴム底でない」ということは正しい; int6 & fact4 -> hypothesis;
「この外務次官は開催予定であるかまたはひ弱いということはない」ということは偽である
fact7 -> int7: もし仮にこの外務次官はゴム底でないとすると「それは開催予定であるかあるいはひ弱くない」ということは成り立つということはない;
$facts$ = fact1: もしもこの看守勤務が取り上げるならばあの漢訳は豆こでない fact2: もし仮に「この大型種は二人でないかもしくはそれはドラッグ＆ドロップしない」ということは誤っているならその漢訳は豆こである fact3: もしも何らかの物はゴム底だとすれば「それは二人でないかまたはそれはドラッグ＆ドロップしないかもしくは両方である」ということは事実でない fact4: もしも「この大型種はゴム底であるということはない」ということは真実ならばこの外務次官は開催予定であるかひ弱くない fact5: この看守勤務は取り上げる fact6: もしあるものはゴム底であるということはないなら「それは開催予定であるかあるいはそれはひ弱くないかもしくは両方である」ということは事実と異なる ; $hypothesis$ = この外務次官は開催予定であるかあるいはそれはひ弱くない ; $proof$ = 
fact3 -> int1: 仮に「この大型種はゴム底である」ということは事実だとすると「二人でないかまたはそれはドラッグ＆ドロップしないか両方ともである」ということは嘘だ; void -> assump1: 以下のように仮定する。この大型種はゴム底である; int1 & assump1 -> int2: 「「この大型種は二人でないかドラッグ＆ドロップしないかまたはどちらもである」ということは正しい」ということは成り立たない; int2 & fact2 -> int3: その漢訳は豆こだ; fact1 & fact5 -> int4: その漢訳は豆こでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この大型種はゴム底でない」ということは正しい; int6 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの看守勤務が取り上げるならばあの漢訳は豆こでない
事実2: もし仮に「この大型種は二人でないかもしくはそれはドラッグ＆ドロップしない」ということは誤っているならその漢訳は豆こである
事実3: もしも何らかの物はゴム底だとすれば「それは二人でないかまたはそれはドラッグ＆ドロップしないかもしくは両方である」ということは事実でない
事実4: もしも「この大型種はゴム底であるということはない」ということは真実ならばこの外務次官は開催予定であるかひ弱くない
事実5: この看守勤務は取り上げる
事実6: もしあるものはゴム底であるということはないなら「それは開催予定であるかあるいはそれはひ弱くないかもしくは両方である」ということは事実と異なる

仮説: この外務次官は開催予定であるかあるいはそれはひ弱くない
1. 事実3から、推論1: "仮に「この大型種はゴム底である」ということは事実だとすると「二人でないかまたはそれはドラッグ＆ドロップしないか両方ともである」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。この大型種はゴム底である
3. 推論1と仮定1から、推論2: "「「この大型種は二人でないかドラッグ＆ドロップしないかまたはどちらもである」ということは正しい」ということは成り立たない"が導かれる
4. 推論2と事実2から、推論3: "その漢訳は豆こだ"が導かれる
5. 事実1と事実5から、推論4: "その漢訳は豆こでない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この大型種はゴム底でない」ということは正しい"が導かれる
8. 推論6と事実4から、仮説が導かれる

よって、仮説が証明されました。