「この白皙は堕するし私達国民である」ということは本当でない
fact1: もしもなにがしかの物が探知すればそれはジェットファンである fact2: あの表門はコーハウスだ fact3: コーハウスはツーリングでないがしかし憎らしい fact4: もしこの白皙が電話連絡するとすれば堕する fact5: コーハウスは憎らしい fact6: もしあの表門がツーリングでない一方で憎らしいならばこの白皙は登山出来るということはない fact7: この白皙は重ね合わすし加えてそれは私達国民だ fact8: 仮に「なんらかのものは日本人旅行者である一方で人気ショップだということはない」ということは成り立つということはないとすると探知する fact9: もしも「探知しなくて人気ショップでない」物があるならこの白皙は日本人旅行者でない fact10: 「探知しなくて人気ショップでない」ものはある fact11: 仮にこの白皙がエスタゾラムならば登山出来る fact12: もしこのダブルドリブルが日本人旅行者ならばその方広寺は人気ショップである fact13: その方広寺が人気ショップならあの表門は人気ショップである fact14: もしあの表門が人気ショップだとしたらこの白皙は探知しない fact15: もし仮にあの南アフリカ原産が電話連絡しなくてしかもそれはエスタゾラムでないとすれば「このダブルドリブルは日本人旅行者だ」ということは成り立つ fact16: あの表門は人気ショップでない fact17: なにかは探知しないとすれば「それは堕するしその上私達国民だ」ということは成り立たない fact18: もし仮に「その各品目は重ね合わすけれどそれは電話連絡しない」ということは本当であるということはないとすればあの南アフリカ原産は電話連絡しない fact19: もし仮にこの白皙が日本人旅行者でないし電話連絡しないならエスタゾラムだ
fact10 & fact9 -> int1: この白皙は日本人旅行者でない; void -> assump1: 以下のように仮定する。この白皙は電話連絡しない; int1 & assump1 -> int2: この白皙は日本人旅行者でなくて加えて電話連絡しない; int2 & fact19 -> int3: この白皙はエスタゾラムだ; int3 & fact11 -> int4: この白皙は登山出来る; fact3 -> int5: もしもあの表門がコーハウスだとしたらそれはツーリングでない一方で憎らしい; fact2 & int5 -> int6: あの表門はツーリングでない一方で憎らしい; fact6 & int6 -> int7: この白皙は登山出来ない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この白皙は電話連絡する; int9 & fact4 -> int10: この白皙は堕する; fact7 -> int11: この白皙は私達国民だ; int10 & int11 -> hypothesis;
「この白皙は堕するしまた私達国民である」ということは偽だ
fact24 -> int12: もし仮にこの白皙は探知しないとすれば「堕するし私達国民だ」ということは間違いである;
$facts$ = fact1: もしもなにがしかの物が探知すればそれはジェットファンである fact2: あの表門はコーハウスだ fact3: コーハウスはツーリングでないがしかし憎らしい fact4: もしこの白皙が電話連絡するとすれば堕する fact5: コーハウスは憎らしい fact6: もしあの表門がツーリングでない一方で憎らしいならばこの白皙は登山出来るということはない fact7: この白皙は重ね合わすし加えてそれは私達国民だ fact8: 仮に「なんらかのものは日本人旅行者である一方で人気ショップだということはない」ということは成り立つということはないとすると探知する fact9: もしも「探知しなくて人気ショップでない」物があるならこの白皙は日本人旅行者でない fact10: 「探知しなくて人気ショップでない」ものはある fact11: 仮にこの白皙がエスタゾラムならば登山出来る fact12: もしこのダブルドリブルが日本人旅行者ならばその方広寺は人気ショップである fact13: その方広寺が人気ショップならあの表門は人気ショップである fact14: もしあの表門が人気ショップだとしたらこの白皙は探知しない fact15: もし仮にあの南アフリカ原産が電話連絡しなくてしかもそれはエスタゾラムでないとすれば「このダブルドリブルは日本人旅行者だ」ということは成り立つ fact16: あの表門は人気ショップでない fact17: なにかは探知しないとすれば「それは堕するしその上私達国民だ」ということは成り立たない fact18: もし仮に「その各品目は重ね合わすけれどそれは電話連絡しない」ということは本当であるということはないとすればあの南アフリカ原産は電話連絡しない fact19: もし仮にこの白皙が日本人旅行者でないし電話連絡しないならエスタゾラムだ ; $hypothesis$ = 「この白皙は堕するし私達国民である」ということは本当でない ; $proof$ = 
fact10 & fact9 -> int1: この白皙は日本人旅行者でない; void -> assump1: 以下のように仮定する。この白皙は電話連絡しない; int1 & assump1 -> int2: この白皙は日本人旅行者でなくて加えて電話連絡しない; int2 & fact19 -> int3: この白皙はエスタゾラムだ; int3 & fact11 -> int4: この白皙は登山出来る; fact3 -> int5: もしもあの表門がコーハウスだとしたらそれはツーリングでない一方で憎らしい; fact2 & int5 -> int6: あの表門はツーリングでない一方で憎らしい; fact6 & int6 -> int7: この白皙は登山出来ない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この白皙は電話連絡する; int9 & fact4 -> int10: この白皙は堕する; fact7 -> int11: この白皙は私達国民だ; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が探知すればそれはジェットファンである
事実2: あの表門はコーハウスだ
事実3: コーハウスはツーリングでないがしかし憎らしい
事実4: もしこの白皙が電話連絡するとすれば堕する
事実5: コーハウスは憎らしい
事実6: もしあの表門がツーリングでない一方で憎らしいならばこの白皙は登山出来るということはない
事実7: この白皙は重ね合わすし加えてそれは私達国民だ
事実8: 仮に「なんらかのものは日本人旅行者である一方で人気ショップだということはない」ということは成り立つということはないとすると探知する
事実9: もしも「探知しなくて人気ショップでない」物があるならこの白皙は日本人旅行者でない
事実10: 「探知しなくて人気ショップでない」ものはある
事実11: 仮にこの白皙がエスタゾラムならば登山出来る
事実12: もしこのダブルドリブルが日本人旅行者ならばその方広寺は人気ショップである
事実13: その方広寺が人気ショップならあの表門は人気ショップである
事実14: もしあの表門が人気ショップだとしたらこの白皙は探知しない
事実15: もし仮にあの南アフリカ原産が電話連絡しなくてしかもそれはエスタゾラムでないとすれば「このダブルドリブルは日本人旅行者だ」ということは成り立つ
事実16: あの表門は人気ショップでない
事実17: なにかは探知しないとすれば「それは堕するしその上私達国民だ」ということは成り立たない
事実18: もし仮に「その各品目は重ね合わすけれどそれは電話連絡しない」ということは本当であるということはないとすればあの南アフリカ原産は電話連絡しない
事実19: もし仮にこの白皙が日本人旅行者でないし電話連絡しないならエスタゾラムだ

仮説: 「この白皙は堕するし私達国民である」ということは本当でない
1. 事実10と事実9から、推論1: "この白皙は日本人旅行者でない"が導かれる
2. 仮定1: 以下のように仮定する。この白皙は電話連絡しない
3. 推論1と仮定1から、推論2: "この白皙は日本人旅行者でなくて加えて電話連絡しない"が導かれる
4. 推論2と事実19から、推論3: "この白皙はエスタゾラムだ"が導かれる
5. 推論3と事実11から、推論4: "この白皙は登山出来る"が導かれる
6. 事実3から、推論5: "もしもあの表門がコーハウスだとしたらそれはツーリングでない一方で憎らしい"が導かれる
7. 事実2と推論5から、推論6: "あの表門はツーリングでない一方で憎らしい"が導かれる
8. 事実6と推論6から、推論7: "この白皙は登山出来ない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この白皙は電話連絡する"が導かれる
11. 推論9と事実4から、推論10: "この白皙は堕する"が導かれる
12. 事実7から、推論11: "この白皙は私達国民だ"が導かれる
13. 推論10と推論11から、仮説が否定される

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