「この組み立て部品は叱責しない」ということは真実である
fact1: 「あの極限は尋常小学校でない」ということは本当だ fact2: この組み立て部品が一括管理すればあの極限は撮影しない fact3: もし仮に「危ない」物があるならその系図は捻出出来ない fact4: もし仮に「あの極限は尋常小学校だということはないしそれにそれは一括管理しない」ということは間違っているとすればあの組み立て部品は撮影しない fact5: そのバースデーは撮影する fact6: もしこの組み立て部品は姉妹店でないとすれば「それは借金しなくてそれは一括管理しない」ということは偽だ fact7: この加熱香気は危ない fact8: 「この組み立て部品は借金しないしさらに一括管理しない」ということは成り立たないならあの極限は撮影しない fact9: 「この組み立て部品は借金しないがそれは一括管理する」ということは誤りだ fact10: もし仮にあの極限はマドラーならば「それは叱責する」ということは成り立つ fact11: 仮にこの組み立て部品は姉妹店であるならば尋常小学校だ fact12: 仮に「あるものは尋常小学校であるしまた継続勤務する」ということは間違いであるとすると「それは尋常小学校であるということはない」ということは成り立つ fact13: この最終ラインは借金する fact14: この組み立て部品が撮影するなら姉妹店である fact15: 「もし「この組み立て部品は姉妹店だということはない」ということは本当だとすると「この組み立て部品は借金するということはないがそれは一括管理する」ということは嘘である」ということは正しい fact16: その系図は捻出出来ないならば「あのヒートアイランド現象は尋常小学校であるし更に継続勤務する」ということは嘘だ fact17: 仮にこの組み立て部品は尋常小学校であるなら叱責する fact18: もし「この組み立て部品が撮影するということはないしさらに尋常小学校であるということはない」ということは嘘であるとすると「あの極限は姉妹店でない」ということは確かだ fact19: あの極限は撮影する
void -> assump1: 以下のように仮定する。「この組み立て部品は姉妹店でない」ということは成り立つ; fact6 & assump1 -> int1: 「この組み立て部品は借金しなくて一括管理しない」ということは誤っている; int1 & fact8 -> int2: あの極限は撮影しない; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: この組み立て部品は姉妹店だ; int4 & fact11 -> int5: この組み立て部品は尋常小学校である; int5 & fact17 -> hypothesis;
「この組み立て部品は叱責しない」ということは確かである
fact23 -> int6: もし仮に「あのヒートアイランド現象は尋常小学校であるしそれに継続勤務する」ということは成り立たないとしたらそれは尋常小学校でない; fact21 -> int7: とあるものは危ない; int7 & fact22 -> int8: その系図は捻出出来ない; fact20 & int8 -> int9: 「あのヒートアイランド現象は尋常小学校であるし加えてそれは継続勤務する」ということは嘘である; int6 & int9 -> int10: あのヒートアイランド現象は尋常小学校でない; int10 -> int11: 「尋常小学校でない」物はある;
$facts$ = fact1: 「あの極限は尋常小学校でない」ということは本当だ fact2: この組み立て部品が一括管理すればあの極限は撮影しない fact3: もし仮に「危ない」物があるならその系図は捻出出来ない fact4: もし仮に「あの極限は尋常小学校だということはないしそれにそれは一括管理しない」ということは間違っているとすればあの組み立て部品は撮影しない fact5: そのバースデーは撮影する fact6: もしこの組み立て部品は姉妹店でないとすれば「それは借金しなくてそれは一括管理しない」ということは偽だ fact7: この加熱香気は危ない fact8: 「この組み立て部品は借金しないしさらに一括管理しない」ということは成り立たないならあの極限は撮影しない fact9: 「この組み立て部品は借金しないがそれは一括管理する」ということは誤りだ fact10: もし仮にあの極限はマドラーならば「それは叱責する」ということは成り立つ fact11: 仮にこの組み立て部品は姉妹店であるならば尋常小学校だ fact12: 仮に「あるものは尋常小学校であるしまた継続勤務する」ということは間違いであるとすると「それは尋常小学校であるということはない」ということは成り立つ fact13: この最終ラインは借金する fact14: この組み立て部品が撮影するなら姉妹店である fact15: 「もし「この組み立て部品は姉妹店だということはない」ということは本当だとすると「この組み立て部品は借金するということはないがそれは一括管理する」ということは嘘である」ということは正しい fact16: その系図は捻出出来ないならば「あのヒートアイランド現象は尋常小学校であるし更に継続勤務する」ということは嘘だ fact17: 仮にこの組み立て部品は尋常小学校であるなら叱責する fact18: もし「この組み立て部品が撮影するということはないしさらに尋常小学校であるということはない」ということは嘘であるとすると「あの極限は姉妹店でない」ということは確かだ fact19: あの極限は撮影する ; $hypothesis$ = 「この組み立て部品は叱責しない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この組み立て部品は姉妹店でない」ということは成り立つ; fact6 & assump1 -> int1: 「この組み立て部品は借金しなくて一括管理しない」ということは誤っている; int1 & fact8 -> int2: あの極限は撮影しない; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: この組み立て部品は姉妹店だ; int4 & fact11 -> int5: この組み立て部品は尋常小学校である; int5 & fact17 -> hypothesis; __DISPROVED__
事実1: 「あの極限は尋常小学校でない」ということは本当だ
事実2: この組み立て部品が一括管理すればあの極限は撮影しない
事実3: もし仮に「危ない」物があるならその系図は捻出出来ない
事実4: もし仮に「あの極限は尋常小学校だということはないしそれにそれは一括管理しない」ということは間違っているとすればあの組み立て部品は撮影しない
事実5: そのバースデーは撮影する
事実6: もしこの組み立て部品は姉妹店でないとすれば「それは借金しなくてそれは一括管理しない」ということは偽だ
事実7: この加熱香気は危ない
事実8: 「この組み立て部品は借金しないしさらに一括管理しない」ということは成り立たないならあの極限は撮影しない
事実9: 「この組み立て部品は借金しないがそれは一括管理する」ということは誤りだ
事実10: もし仮にあの極限はマドラーならば「それは叱責する」ということは成り立つ
事実11: 仮にこの組み立て部品は姉妹店であるならば尋常小学校だ
事実12: 仮に「あるものは尋常小学校であるしまた継続勤務する」ということは間違いであるとすると「それは尋常小学校であるということはない」ということは成り立つ
事実13: この最終ラインは借金する
事実14: この組み立て部品が撮影するなら姉妹店である
事実15: 「もし「この組み立て部品は姉妹店だということはない」ということは本当だとすると「この組み立て部品は借金するということはないがそれは一括管理する」ということは嘘である」ということは正しい
事実16: その系図は捻出出来ないならば「あのヒートアイランド現象は尋常小学校であるし更に継続勤務する」ということは嘘だ
事実17: 仮にこの組み立て部品は尋常小学校であるなら叱責する
事実18: もし「この組み立て部品が撮影するということはないしさらに尋常小学校であるということはない」ということは嘘であるとすると「あの極限は姉妹店でない」ということは確かだ
事実19: あの極限は撮影する

仮説: 「この組み立て部品は叱責しない」ということは真実である
1. 仮定1: 以下のように仮定する。「この組み立て部品は姉妹店でない」ということは成り立つ
2. 事実6と仮定1から、推論1: "「この組み立て部品は借金しなくて一括管理しない」ということは誤っている"が導かれる
3. 推論1と事実8から、推論2: "あの極限は撮影しない"が導かれる
4. 推論2と事実19から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この組み立て部品は姉妹店だ"が導かれる
6. 推論4と事実11から、推論5: "この組み立て部品は尋常小学校である"が導かれる
7. 推論5と事実17から、仮説が否定される

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