「その熱愛は生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立つということはない
fact1: 仮に「とある物は案分するしおまけに擽ったい」ということは間違いだとするとそれは国内消費でない fact2: 「この系統図は脱するが既述しない」ということは誤っている fact3: もし仮に気付き難いということはないものが対応し易いとすれば擽ったくない fact4: もし仮にこの系統図が気付き難いということはないとしたらあの御家騒動は気付き難くない一方でそれは対応し易い fact5: もしこの系統図が建設するしさらにそれが案分すれば脱しない fact6: もしも「この系統図は脱するけど既述しない」ということは成り立たないとしたらそれは建設しない fact7: あの御家騒動は擽ったくないとすると「その児童・生徒数は案分するしおまけに擽ったい」ということは成り立たない fact8: なにかは気付き難いとすれば「生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立たない fact9: 仮にその児童・生徒数が国内消費でないとすればあの熱愛は生殖異変であるけど鉄筋コンクリート構造物でない fact10: もしその児童・生徒数が擽ったくないならば国内消費でない fact11: 仮にこの系統図が気付き難いとするとそれは建設する fact12: もしもこの系統図が脱するということはないならば建設しない
void -> assump1: 以下のように仮定する。この系統図は気付き難い; fact11 & assump1 -> int1: この系統図は建設する; fact6 & fact2 -> int2: この系統図は建設しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この系統図は気付き難くない; int4 & fact4 -> int5: あの御家騒動は気付き難くないけど対応し易い; fact3 -> int6: 仮に「あの御家騒動は気付き難くないがしかし対応し易い」ということは事実ならば擽ったくない; int5 & int6 -> int7: あの御家騒動は擽ったくない; int7 & fact7 -> int8: 「その児童・生徒数は案分するし加えて擽ったい」ということは成り立たない; fact1 -> int9: 仮に「「その児童・生徒数は案分するし擽ったい」ということは成り立たない」ということは成り立つなら国内消費でない; int8 & int9 -> int10: その児童・生徒数は国内消費でない; int10 & fact9 -> hypothesis;
「その熱愛は生殖異変であるがしかし鉄筋コンクリート構造物だということはない」ということは間違いである
fact13 -> int11: もしその熱愛は気付き難いとしたら「それは生殖異変である一方で鉄筋コンクリート構造物でない」ということは嘘だ;
$facts$ = fact1: 仮に「とある物は案分するしおまけに擽ったい」ということは間違いだとするとそれは国内消費でない fact2: 「この系統図は脱するが既述しない」ということは誤っている fact3: もし仮に気付き難いということはないものが対応し易いとすれば擽ったくない fact4: もし仮にこの系統図が気付き難いということはないとしたらあの御家騒動は気付き難くない一方でそれは対応し易い fact5: もしこの系統図が建設するしさらにそれが案分すれば脱しない fact6: もしも「この系統図は脱するけど既述しない」ということは成り立たないとしたらそれは建設しない fact7: あの御家騒動は擽ったくないとすると「その児童・生徒数は案分するしおまけに擽ったい」ということは成り立たない fact8: なにかは気付き難いとすれば「生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立たない fact9: 仮にその児童・生徒数が国内消費でないとすればあの熱愛は生殖異変であるけど鉄筋コンクリート構造物でない fact10: もしその児童・生徒数が擽ったくないならば国内消費でない fact11: 仮にこの系統図が気付き難いとするとそれは建設する fact12: もしもこの系統図が脱するということはないならば建設しない ; $hypothesis$ = 「その熱愛は生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この系統図は気付き難い; fact11 & assump1 -> int1: この系統図は建設する; fact6 & fact2 -> int2: この系統図は建設しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この系統図は気付き難くない; int4 & fact4 -> int5: あの御家騒動は気付き難くないけど対応し易い; fact3 -> int6: 仮に「あの御家騒動は気付き難くないがしかし対応し易い」ということは事実ならば擽ったくない; int5 & int6 -> int7: あの御家騒動は擽ったくない; int7 & fact7 -> int8: 「その児童・生徒数は案分するし加えて擽ったい」ということは成り立たない; fact1 -> int9: 仮に「「その児童・生徒数は案分するし擽ったい」ということは成り立たない」ということは成り立つなら国内消費でない; int8 & int9 -> int10: その児童・生徒数は国内消費でない; int10 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「とある物は案分するしおまけに擽ったい」ということは間違いだとするとそれは国内消費でない
事実2: 「この系統図は脱するが既述しない」ということは誤っている
事実3: もし仮に気付き難いということはないものが対応し易いとすれば擽ったくない
事実4: もし仮にこの系統図が気付き難いということはないとしたらあの御家騒動は気付き難くない一方でそれは対応し易い
事実5: もしこの系統図が建設するしさらにそれが案分すれば脱しない
事実6: もしも「この系統図は脱するけど既述しない」ということは成り立たないとしたらそれは建設しない
事実7: あの御家騒動は擽ったくないとすると「その児童・生徒数は案分するしおまけに擽ったい」ということは成り立たない
事実8: なにかは気付き難いとすれば「生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立たない
事実9: 仮にその児童・生徒数が国内消費でないとすればあの熱愛は生殖異変であるけど鉄筋コンクリート構造物でない
事実10: もしその児童・生徒数が擽ったくないならば国内消費でない
事実11: 仮にこの系統図が気付き難いとするとそれは建設する
事実12: もしもこの系統図が脱するということはないならば建設しない

仮説: 「その熱愛は生殖異変だがしかし鉄筋コンクリート構造物でない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この系統図は気付き難い
2. 事実11と仮定1から、推論1: "この系統図は建設する"が導かれる
3. 事実6と事実2から、推論2: "この系統図は建設しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この系統図は気付き難くない"が導かれる
6. 推論4と事実4から、推論5: "あの御家騒動は気付き難くないけど対応し易い"が導かれる
7. 事実3から、推論6: "仮に「あの御家騒動は気付き難くないがしかし対応し易い」ということは事実ならば擽ったくない"が導かれる
8. 推論5と推論6から、推論7: "あの御家騒動は擽ったくない"が導かれる
9. 推論7と事実7から、推論8: "「その児童・生徒数は案分するし加えて擽ったい」ということは成り立たない"が導かれる
10. 事実1から、推論9: "仮に「「その児童・生徒数は案分するし擽ったい」ということは成り立たない」ということは成り立つなら国内消費でない"が導かれる
11. 推論8と推論9から、推論10: "その児童・生徒数は国内消費でない"が導かれる
12. 推論10と事実9から、仮説が否定される

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