この動産・不動産は街中だ
fact1: もしこの動産・不動産が街中だとするとその偵察機は好もしかないし如かない fact2: 仮にその偵察機が好もしいということはないが如けばこの教師聖職論は整理回収機構だということはない fact3: この教師聖職論は力強いということはない fact4: 仮にこの教師聖職論が如くとすれば整理回収機構である fact5: その偵察機は街中である fact6: もし仮に「この動産・不動産は街中である」ということは事実だとするとその偵察機は如かない fact7: もし仮にこの動産・不動産がＯＨだとしたらこの教師聖職論は行儀良くなくてまた菜っ葉でない fact8: 「この教師聖職論は詰まり易い」ということは成り立つ fact9: もし仮に「その単位費用は戻し易い」ということは正しいとしたらその偵察機は甚だしくないしそれは菜っ葉でない fact10: その偵察機は如かない fact11: もしもこの動産・不動産が如くとしたらそれは街中である fact12: もしもその偵察機は生成プロセスであるならば「再演する」ということは偽であるということはない fact13: もしも何らかの物は菜っ葉であるならば整理回収機構だ fact14: すべての物は菜っ葉である fact15: もし何らかのものはＧＮＵプロジェクトでないならばそれは菜っ葉であるし整理回収機構である fact16: もし仮にこの動産・不動産が街中であるということはないしさらにそれは整理回収機構でないなら「この教師聖職論は菜っ葉でない」ということは本当である fact17: すべてのものは肖像写真である fact18: この教師聖職論は立ちでない fact19: 仮にその偵察機が整理回収機構であるならばあの動産・不動産は整理回収機構である fact20: もしもこの教師聖職論は整理回収機構であるならば如く fact21: 仮にその偵察機が好もしかなくてまた如かないとしたらこの教師聖職論は整理回収機構でない fact22: その偵察機は整理回収機構だ fact23: この教師聖職論が菜っ葉だとしたらそれは街中だ
void -> assump1: 以下のように仮定する。この動産・不動産は街中である; fact1 & assump1 -> int1: その偵察機は好もしかないし如かない; int1 & fact21 -> int2: この教師聖職論は整理回収機構でない; fact13 -> int3: もしもこの教師聖職論は菜っ葉だとすれば「整理回収機構である」ということは真実である; fact14 -> int4: この教師聖職論は菜っ葉である; int3 & int4 -> int5: 「この教師聖職論は整理回収機構である」ということは確かである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この動産・不動産は街中である
fact25 -> int7: 「もし仮に「その偵察機はＧＮＵプロジェクトである」ということは偽だとするとその偵察機は菜っ葉でそれは整理回収機構である」ということは事実だ; fact26 & fact27 -> int8: この教師聖職論は力強くなくてそれにそれは立ちでない; int8 -> int9: 「力強くないし加えて立ちでない」ものはある;
$facts$ = fact1: もしこの動産・不動産が街中だとするとその偵察機は好もしかないし如かない fact2: 仮にその偵察機が好もしいということはないが如けばこの教師聖職論は整理回収機構だということはない fact3: この教師聖職論は力強いということはない fact4: 仮にこの教師聖職論が如くとすれば整理回収機構である fact5: その偵察機は街中である fact6: もし仮に「この動産・不動産は街中である」ということは事実だとするとその偵察機は如かない fact7: もし仮にこの動産・不動産がＯＨだとしたらこの教師聖職論は行儀良くなくてまた菜っ葉でない fact8: 「この教師聖職論は詰まり易い」ということは成り立つ fact9: もし仮に「その単位費用は戻し易い」ということは正しいとしたらその偵察機は甚だしくないしそれは菜っ葉でない fact10: その偵察機は如かない fact11: もしもこの動産・不動産が如くとしたらそれは街中である fact12: もしもその偵察機は生成プロセスであるならば「再演する」ということは偽であるということはない fact13: もしも何らかの物は菜っ葉であるならば整理回収機構だ fact14: すべての物は菜っ葉である fact15: もし何らかのものはＧＮＵプロジェクトでないならばそれは菜っ葉であるし整理回収機構である fact16: もし仮にこの動産・不動産が街中であるということはないしさらにそれは整理回収機構でないなら「この教師聖職論は菜っ葉でない」ということは本当である fact17: すべてのものは肖像写真である fact18: この教師聖職論は立ちでない fact19: 仮にその偵察機が整理回収機構であるならばあの動産・不動産は整理回収機構である fact20: もしもこの教師聖職論は整理回収機構であるならば如く fact21: 仮にその偵察機が好もしかなくてまた如かないとしたらこの教師聖職論は整理回収機構でない fact22: その偵察機は整理回収機構だ fact23: この教師聖職論が菜っ葉だとしたらそれは街中だ ; $hypothesis$ = この動産・不動産は街中だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この動産・不動産は街中である; fact1 & assump1 -> int1: その偵察機は好もしかないし如かない; int1 & fact21 -> int2: この教師聖職論は整理回収機構でない; fact13 -> int3: もしもこの教師聖職論は菜っ葉だとすれば「整理回収機構である」ということは真実である; fact14 -> int4: この教師聖職論は菜っ葉である; int3 & int4 -> int5: 「この教師聖職論は整理回収機構である」ということは確かである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしこの動産・不動産が街中だとするとその偵察機は好もしかないし如かない
事実2: 仮にその偵察機が好もしいということはないが如けばこの教師聖職論は整理回収機構だということはない
事実3: この教師聖職論は力強いということはない
事実4: 仮にこの教師聖職論が如くとすれば整理回収機構である
事実5: その偵察機は街中である
事実6: もし仮に「この動産・不動産は街中である」ということは事実だとするとその偵察機は如かない
事実7: もし仮にこの動産・不動産がＯＨだとしたらこの教師聖職論は行儀良くなくてまた菜っ葉でない
事実8: 「この教師聖職論は詰まり易い」ということは成り立つ
事実9: もし仮に「その単位費用は戻し易い」ということは正しいとしたらその偵察機は甚だしくないしそれは菜っ葉でない
事実10: その偵察機は如かない
事実11: もしもこの動産・不動産が如くとしたらそれは街中である
事実12: もしもその偵察機は生成プロセスであるならば「再演する」ということは偽であるということはない
事実13: もしも何らかの物は菜っ葉であるならば整理回収機構だ
事実14: すべての物は菜っ葉である
事実15: もし何らかのものはＧＮＵプロジェクトでないならばそれは菜っ葉であるし整理回収機構である
事実16: もし仮にこの動産・不動産が街中であるということはないしさらにそれは整理回収機構でないなら「この教師聖職論は菜っ葉でない」ということは本当である
事実17: すべてのものは肖像写真である
事実18: この教師聖職論は立ちでない
事実19: 仮にその偵察機が整理回収機構であるならばあの動産・不動産は整理回収機構である
事実20: もしもこの教師聖職論は整理回収機構であるならば如く
事実21: 仮にその偵察機が好もしかなくてまた如かないとしたらこの教師聖職論は整理回収機構でない
事実22: その偵察機は整理回収機構だ
事実23: この教師聖職論が菜っ葉だとしたらそれは街中だ

仮説: この動産・不動産は街中だ
1. 仮定1: 以下のように仮定する。この動産・不動産は街中である
2. 事実1と仮定1から、推論1: "その偵察機は好もしかないし如かない"が導かれる
3. 推論1と事実21から、推論2: "この教師聖職論は整理回収機構でない"が導かれる
4. 事実13から、推論3: "もしもこの教師聖職論は菜っ葉だとすれば「整理回収機構である」ということは真実である"が導かれる
5. 事実14から、推論4: "この教師聖職論は菜っ葉である"が導かれる
6. 推論3と推論4から、推論5: "「この教師聖職論は整理回収機構である」ということは確かである"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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