この中小工業は補償請求権であるということはないしさらにそれは極まりないということはない
fact1: この中小工業は絶交するし作図する fact2: もし仮にこの中小工業が補償請求権でなくて極まりなくないとしたら「絶交しない」ということは成り立つ fact3: もしあの実用試験は汗するが迷信深くないなら疚しくない fact4: あの実用試験は見え辛い fact5: この中小工業は補償請求権でない fact6: 「この中小工業は補償請求権であるけど極まりなくない」ということは成り立たない fact7: このツアーは言い合えない fact8: なんらかのものが疚しいということはないとすると絶交するししゃあ無い fact9: もし仮にこのツアーが言い合えないとしたらオートパイロットでないかそれは狡くない fact10: この特別議決がオートパイロットならばあの実用試験はオートパイロットでない fact11: この特別議決はオートパイロットで狡い fact12: もしも「あの質問趣旨はしゃあ無くて極まりない」ということは間違っているとしたらこの中小工業は極まりなくない fact13: もしもあの実用試験が絶交しないとするとこの中小工業は補償請求権でないしその上作図しない fact14: もし仮にあの実用試験がオートパイロットでないとすればあの質問趣旨は疚しくない fact15: あの実用試験は見え辛いなら「それは汗するしそれに迷信深くない」ということは事実である
void -> assump1: 以下のように仮定する。この中小工業は補償請求権でなくておまけにそれは極まりなくない; fact2 & assump1 -> int1: この中小工業は絶交しない; fact1 -> int2: この中小工業は絶交する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この中小工業は聞き得る」ということは成り立つ
fact18 -> int4: もし仮にあの質問趣旨が疚しくないとすれば絶交するししかもしゃあ無い; fact17 -> int5: 「この特別議決はオートパイロットである」ということは真実だ; fact19 & int5 -> int6: あの実用試験はオートパイロットでない; fact16 & int6 -> int7: あの質問趣旨は疚しいということはない; int4 & int7 -> int8: 「あの質問趣旨は絶交するしさらにしゃあ無い」ということは正しい; int8 -> int9: あの質問趣旨は絶交する; int9 -> int10: 「絶交する」物はある;
$facts$ = fact1: この中小工業は絶交するし作図する fact2: もし仮にこの中小工業が補償請求権でなくて極まりなくないとしたら「絶交しない」ということは成り立つ fact3: もしあの実用試験は汗するが迷信深くないなら疚しくない fact4: あの実用試験は見え辛い fact5: この中小工業は補償請求権でない fact6: 「この中小工業は補償請求権であるけど極まりなくない」ということは成り立たない fact7: このツアーは言い合えない fact8: なんらかのものが疚しいということはないとすると絶交するししゃあ無い fact9: もし仮にこのツアーが言い合えないとしたらオートパイロットでないかそれは狡くない fact10: この特別議決がオートパイロットならばあの実用試験はオートパイロットでない fact11: この特別議決はオートパイロットで狡い fact12: もしも「あの質問趣旨はしゃあ無くて極まりない」ということは間違っているとしたらこの中小工業は極まりなくない fact13: もしもあの実用試験が絶交しないとするとこの中小工業は補償請求権でないしその上作図しない fact14: もし仮にあの実用試験がオートパイロットでないとすればあの質問趣旨は疚しくない fact15: あの実用試験は見え辛いなら「それは汗するしそれに迷信深くない」ということは事実である ; $hypothesis$ = この中小工業は補償請求権であるということはないしさらにそれは極まりないということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この中小工業は補償請求権でなくておまけにそれは極まりなくない; fact2 & assump1 -> int1: この中小工業は絶交しない; fact1 -> int2: この中小工業は絶交する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この中小工業は絶交するし作図する
事実2: もし仮にこの中小工業が補償請求権でなくて極まりなくないとしたら「絶交しない」ということは成り立つ
事実3: もしあの実用試験は汗するが迷信深くないなら疚しくない
事実4: あの実用試験は見え辛い
事実5: この中小工業は補償請求権でない
事実6: 「この中小工業は補償請求権であるけど極まりなくない」ということは成り立たない
事実7: このツアーは言い合えない
事実8: なんらかのものが疚しいということはないとすると絶交するししゃあ無い
事実9: もし仮にこのツアーが言い合えないとしたらオートパイロットでないかそれは狡くない
事実10: この特別議決がオートパイロットならばあの実用試験はオートパイロットでない
事実11: この特別議決はオートパイロットで狡い
事実12: もしも「あの質問趣旨はしゃあ無くて極まりない」ということは間違っているとしたらこの中小工業は極まりなくない
事実13: もしもあの実用試験が絶交しないとするとこの中小工業は補償請求権でないしその上作図しない
事実14: もし仮にあの実用試験がオートパイロットでないとすればあの質問趣旨は疚しくない
事実15: あの実用試験は見え辛いなら「それは汗するしそれに迷信深くない」ということは事実である

仮説: この中小工業は補償請求権であるということはないしさらにそれは極まりないということはない
1. 仮定1: 以下のように仮定する。この中小工業は補償請求権でなくておまけにそれは極まりなくない
2. 事実2と仮定1から、推論1: "この中小工業は絶交しない"が導かれる
3. 事実1から、推論2: "この中小工業は絶交する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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