あの発達部門は感想文だということはない
fact1: もしある物が集録するかあるいは起こり易くないとするとあの発達部門は嵌頓する fact2: もしも何らかの物が立ち会わないとするとあの勤務時間は峙つということはない fact3: 仮に「「珍しいかまたは電動機でない」ということは間違いな」ものはあるとすれば「このコンピューター・ゲームはしょぼくない」ということは成り立つ fact4: もし仮に何らかのものが嵌頓しないしそれに起こり易いということはないならそれは集録するということはない fact5: あの発達部門は峙つ fact6: その鎌倉幕府は嵌頓する fact7: もし仮にあの卸売り市場法は描き足すかもしくは日野Ｕ‐ＲＪ三ＨＪＡＡでないかもしくは両方ともならば「その聴聞会は描き足すということはない」ということは事実である fact8: もしも「モロー反射であるしかつ触る」物があればその不安定は立ち会わない fact9: もし仮にあの発達部門が起こり易くないとするとその教育公務員は授業開始であるしその上集録する fact10: 仮にあの独立企業間基準が集録しないとするとあの発達部門は感想文である fact11: その全知は峙つ fact12: もしもその不安定は触るなら「あの勤務時間は触る」ということは成り立つ fact13: もしも「集録する」物があるとするとあの発達部門は嵌頓する fact14: 「集録するかあるいは起こり易い」物はある fact15: その聴聞会は描き足すということはないなら「珍しいかもしくはそれは電動機でないかもしくは両方である」ということは間違っている fact16: 「あの独立企業間基準は立ち会わなくてそれはモロー反射でない」ということは成り立たないとすれば「あの発達部門は感想文でない」ということは事実と異なる fact17: なんらかのものは集録するかもしくはそれは起こり易くない fact18: 「もし仮にあの勤務時間は触るとすれば「あの独立企業間基準は立ち会わなくて加えてモロー反射でない」ということは嘘である」ということは成り立つ fact19: もしもあの発達部門が嵌頓するし峙つなら感想文でない fact20: 「あの卸売り市場法は結合し易くないがしかしそれは気安い」ということは間違っている fact21: しょぼくないものはモロー反射であるし触る fact22: もしも「あの卸売り市場法は結合し易いということはないけど気安い」ということは成り立たないとするとそれは日野Ｕ‐ＲＪ三ＨＪＡＡでない fact23: あの発達部門は新自治令だ
fact17 & fact1 -> int1: あの発達部門は嵌頓する; int1 & fact5 -> int2: あの発達部門は嵌頓するしおまけにそれは峙つ; int2 & fact19 -> hypothesis;
「あの発達部門は感想文だ」ということは正しい
fact24 -> int3: あの独立企業間基準が嵌頓しないししかも起こり易くないならば集録しない; fact29 -> int4: もし仮にこのコンピューター・ゲームがしょぼくないとしたらモロー反射であるし触る; fact33 & fact31 -> int5: あの卸売り市場法は日野Ｕ‐ＲＪ三ＨＪＡＡであるということはない; int5 -> int6: あの卸売り市場法は描き足すかまたは日野Ｕ‐ＲＪ三ＨＪＡＡでないか両方ともだ; fact26 & int6 -> int7: その聴聞会は描き足さない; fact30 & int7 -> int8: 「その聴聞会は珍しいかあるいは電動機でないかあるいは両方ともだ」ということは誤りである; int8 -> int9: 「「珍しいかまたは電動機だということはないかあるいはどちらもである」ということは成り立たない」ものはある; int9 & fact32 -> int10: このコンピューター・ゲームはしょぼくない; int4 & int10 -> int11: このコンピューター・ゲームはモロー反射であるしおまけに触る; int11 -> int12: 何らかの物はモロー反射であるしまた触る; int12 & fact27 -> int13: その不安定は立ち会わない; int13 -> int14: なんらかのものは立ち会わない; int14 & fact25 -> int15: あの勤務時間は峙たない; int15 -> int16: 「とあるものは峙たない」ということは真実である;
$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$ = 
fact17 & fact1 -> int1: あの発達部門は嵌頓する; int1 & fact5 -> int2: あの発達部門は嵌頓するしおまけにそれは峙つ; int2 & fact19 -> hypothesis; __PROVED__
事実1: もしある物が集録するかあるいは起こり易くないとするとあの発達部門は嵌頓する
事実2: もしも何らかの物が立ち会わないとするとあの勤務時間は峙つということはない
事実3: 仮に「「珍しいかまたは電動機でない」ということは間違いな」ものはあるとすれば「このコンピューター・ゲームはしょぼくない」ということは成り立つ
事実4: もし仮に何らかのものが嵌頓しないしそれに起こり易いということはないならそれは集録するということはない
事実5: あの発達部門は峙つ
事実6: その鎌倉幕府は嵌頓する
事実7: もし仮にあの卸売り市場法は描き足すかもしくは日野Ｕ‐ＲＪ三ＨＪＡＡでないかもしくは両方ともならば「その聴聞会は描き足すということはない」ということは事実である
事実8: もしも「モロー反射であるしかつ触る」物があればその不安定は立ち会わない
事実9: もし仮にあの発達部門が起こり易くないとするとその教育公務員は授業開始であるしその上集録する
事実10: 仮にあの独立企業間基準が集録しないとするとあの発達部門は感想文である
事実11: その全知は峙つ
事実12: もしもその不安定は触るなら「あの勤務時間は触る」ということは成り立つ
事実13: もしも「集録する」物があるとするとあの発達部門は嵌頓する
事実14: 「集録するかあるいは起こり易い」物はある
事実15: その聴聞会は描き足すということはないなら「珍しいかもしくはそれは電動機でないかもしくは両方である」ということは間違っている
事実16: 「あの独立企業間基準は立ち会わなくてそれはモロー反射でない」ということは成り立たないとすれば「あの発達部門は感想文でない」ということは事実と異なる
事実17: なんらかのものは集録するかもしくはそれは起こり易くない
事実18: 「もし仮にあの勤務時間は触るとすれば「あの独立企業間基準は立ち会わなくて加えてモロー反射でない」ということは嘘である」ということは成り立つ
事実19: もしもあの発達部門が嵌頓するし峙つなら感想文でない
事実20: 「あの卸売り市場法は結合し易くないがしかしそれは気安い」ということは間違っている
事実21: しょぼくないものはモロー反射であるし触る
事実22: もしも「あの卸売り市場法は結合し易いということはないけど気安い」ということは成り立たないとするとそれは日野Ｕ‐ＲＪ三ＨＪＡＡでない
事実23: あの発達部門は新自治令だ

仮説: あの発達部門は感想文だということはない
1. 事実17と事実1から、推論1: "あの発達部門は嵌頓する"が導かれる
2. 推論1と事実5から、推論2: "あの発達部門は嵌頓するしおまけにそれは峙つ"が導かれる
3. 推論2と事実19から、仮説が導かれる

よって、仮説が証明されました。