このアラブ系は掲げないし回避しない
fact1: もし仮にあの地下鉄駅が回避しないならばこのアラブ系は掲げるということはなくて加えてそれは回避しない fact2: 仮に「あの到達レベルが社員本人だし強迫症状だ」ということは成り立たないとしたらあの地下鉄駅は強迫症状でない fact3: もし仮に何かは社員本人であるならば「それは回避しない」ということは真実だ fact4: あの地下鉄駅は御労しくない fact5: もしあの範囲選択が御労しくないなら感謝申し上げる fact6: もしあの範囲選択が感謝申し上げるなら強迫症状だ fact7: もしもあの地下鉄駅は強迫症状でないとしたら「「このアラブ系は掲げないしまた回避しない」ということは確かである」ということは事実と異なる fact8: このアラブ系は回避しない fact9: 仮に「あの範囲選択は御労しいということはないか埋設しない」ということは誤りであるとしたらあの地下鉄駅は社員本人である fact10: あの範囲選択は御労しいかあるいは埋設しない fact11: もしもなんらかのものは御労しくないかまたは埋設しないかあるいは両方だとしたらそれは感謝申し上げる fact12: あの範囲選択は清々しくない fact13: もし仮にあの範囲選択が清々しくないなら強迫症状でなくて堆い fact14: あの範囲選択は回避しない一方で御労しい
fact11 -> int1: もし仮にあの範囲選択が御労しいということはないかもしくは埋設しないとしたら感謝申し上げる; void -> assump1: 以下のように仮定する。あの範囲選択は御労しくないか埋設しないかもしくは両方だ; int1 & assump1 -> int2: あの範囲選択は感謝申し上げる; int2 & fact6 -> int3: あの範囲選択は強迫症状だ; fact13 & fact12 -> int4: あの範囲選択は強迫症状だということはないがそれは堆い; int4 -> int5: あの範囲選択は強迫症状でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの範囲選択は御労しくないかまたは埋設するということはないかもしくは両方である」ということは成り立たない; int7 & fact9 -> int8: あの地下鉄駅は社員本人だ; fact3 -> int9: 仮にあの地下鉄駅が社員本人だとすればそれは回避しない; int8 & int9 -> int10: あの地下鉄駅は回避しない; int10 & fact1 -> hypothesis;
「このアラブ系は掲げなくて回避しない」ということは誤っている
$facts$ = fact1: もし仮にあの地下鉄駅が回避しないならばこのアラブ系は掲げるということはなくて加えてそれは回避しない fact2: 仮に「あの到達レベルが社員本人だし強迫症状だ」ということは成り立たないとしたらあの地下鉄駅は強迫症状でない fact3: もし仮に何かは社員本人であるならば「それは回避しない」ということは真実だ fact4: あの地下鉄駅は御労しくない fact5: もしあの範囲選択が御労しくないなら感謝申し上げる fact6: もしあの範囲選択が感謝申し上げるなら強迫症状だ fact7: もしもあの地下鉄駅は強迫症状でないとしたら「「このアラブ系は掲げないしまた回避しない」ということは確かである」ということは事実と異なる fact8: このアラブ系は回避しない fact9: 仮に「あの範囲選択は御労しいということはないか埋設しない」ということは誤りであるとしたらあの地下鉄駅は社員本人である fact10: あの範囲選択は御労しいかあるいは埋設しない fact11: もしもなんらかのものは御労しくないかまたは埋設しないかあるいは両方だとしたらそれは感謝申し上げる fact12: あの範囲選択は清々しくない fact13: もし仮にあの範囲選択が清々しくないなら強迫症状でなくて堆い fact14: あの範囲選択は回避しない一方で御労しい ; $hypothesis$ = このアラブ系は掲げないし回避しない ; $proof$ = 
fact11 -> int1: もし仮にあの範囲選択が御労しいということはないかもしくは埋設しないとしたら感謝申し上げる; void -> assump1: 以下のように仮定する。あの範囲選択は御労しくないか埋設しないかもしくは両方だ; int1 & assump1 -> int2: あの範囲選択は感謝申し上げる; int2 & fact6 -> int3: あの範囲選択は強迫症状だ; fact13 & fact12 -> int4: あの範囲選択は強迫症状だということはないがそれは堆い; int4 -> int5: あの範囲選択は強迫症状でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの範囲選択は御労しくないかまたは埋設するということはないかもしくは両方である」ということは成り立たない; int7 & fact9 -> int8: あの地下鉄駅は社員本人だ; fact3 -> int9: 仮にあの地下鉄駅が社員本人だとすればそれは回避しない; int8 & int9 -> int10: あの地下鉄駅は回避しない; int10 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの地下鉄駅が回避しないならばこのアラブ系は掲げるということはなくて加えてそれは回避しない
事実2: 仮に「あの到達レベルが社員本人だし強迫症状だ」ということは成り立たないとしたらあの地下鉄駅は強迫症状でない
事実3: もし仮に何かは社員本人であるならば「それは回避しない」ということは真実だ
事実4: あの地下鉄駅は御労しくない
事実5: もしあの範囲選択が御労しくないなら感謝申し上げる
事実6: もしあの範囲選択が感謝申し上げるなら強迫症状だ
事実7: もしもあの地下鉄駅は強迫症状でないとしたら「「このアラブ系は掲げないしまた回避しない」ということは確かである」ということは事実と異なる
事実8: このアラブ系は回避しない
事実9: 仮に「あの範囲選択は御労しいということはないか埋設しない」ということは誤りであるとしたらあの地下鉄駅は社員本人である
事実10: あの範囲選択は御労しいかあるいは埋設しない
事実11: もしもなんらかのものは御労しくないかまたは埋設しないかあるいは両方だとしたらそれは感謝申し上げる
事実12: あの範囲選択は清々しくない
事実13: もし仮にあの範囲選択が清々しくないなら強迫症状でなくて堆い
事実14: あの範囲選択は回避しない一方で御労しい

仮説: このアラブ系は掲げないし回避しない
1. 事実11から、推論1: "もし仮にあの範囲選択が御労しいということはないかもしくは埋設しないとしたら感謝申し上げる"が導かれる
2. 仮定1: 以下のように仮定する。あの範囲選択は御労しくないか埋設しないかもしくは両方だ
3. 推論1と仮定1から、推論2: "あの範囲選択は感謝申し上げる"が導かれる
4. 推論2と事実6から、推論3: "あの範囲選択は強迫症状だ"が導かれる
5. 事実13と事実12から、推論4: "あの範囲選択は強迫症状だということはないがそれは堆い"が導かれる
6. 推論4から、推論5: "あの範囲選択は強迫症状でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの範囲選択は御労しくないかまたは埋設するということはないかもしくは両方である」ということは成り立たない"が導かれる
9. 推論7と事実9から、推論8: "あの地下鉄駅は社員本人だ"が導かれる
10. 事実3から、推論9: "仮にあの地下鉄駅が社員本人だとすればそれは回避しない"が導かれる
11. 推論8と推論9から、推論10: "あの地下鉄駅は回避しない"が導かれる
12. 推論10と事実1から、仮説が導かれる

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