この精神分裂病は救い難くて残金である
fact1: あのアルカロイドは思惟しなくて抱っこしない fact2: もしも「漢人である」ものがあればその三次元立体内視鏡は専用機だ fact3: その三次元立体内視鏡は材料でなくて救い難くない fact4: 「「打ち合わせない一方で思惟する」ということは間違いである」物はある fact5: 「「残金でないしその上救い難いということはない」ということは嘘な」物はある fact6: もし仮にとあるものが免れ得るとしたらそれは対象化する fact7: もしこの精神分裂病が残金であるがそれが抱っこしないとしたらその三次元立体内視鏡は抱っこする fact8: 「この精神分裂病は改善し得ないが抱っこする」ということは成り立たない fact9: 「その三次元立体内視鏡は材料でなくて打ち合わせるということはない」ということは偽だ fact10: その三次元立体内視鏡は抱っこする fact11: 仮になにがしかの物は抱っこするとすると「残金である」ということは事実である fact12: 「「思惟しなくて加えて材料でない」ということは成り立たない」ものがあるとするとその三次元立体内視鏡は抱っこする fact13: あのアルカロイドが思惟しなくておまけにそれが抱っこしないならこの精神分裂病は抱っこする fact14: 仮に「「救い難くないしおまけに打ち合わせない」ということは間違いである」ものはあるとしたら「その三次元立体内視鏡は抱っこする」ということは正しい fact15: もしとあるものが相容れるとするとそれは盛夏である fact16: もしも「「材料でなくてその上打ち合わせない」ということは嘘な」ものがあるとすればこの精神分裂病は救い難い fact17: 「「大海獣であるということはないし更に有機野菜でない」ということは成り立つということはない」物はある fact18: もしある物は抱っこしないなら「それは救い難くてそれは残金だ」ということは成り立たない fact19: あのアルカロイドがデザイン事務所だし見出だし難い fact20: 「「救い難いしおまけに打ち合わせない」ということは事実と異なる」物はある fact21: 「「救い難いがしかし残金であるということはない」ということは誤っている」ものはある
fact9 -> int1: 「「材料でないし打ち合わせない」ということは偽な」物はある; int1 & fact16 -> int2: この精神分裂病は救い難い; fact13 & fact1 -> int3: この精神分裂病は抱っこする; fact11 -> int4: この精神分裂病が抱っこするとしたらそれは残金だ; int3 & int4 -> int5: この精神分裂病は残金である; int2 & int5 -> hypothesis;
「この精神分裂病は救い難いしその上残金だ」ということは本当でない
fact22 -> int6: もしこの精神分裂病は抱っこするということはないなら「それは救い難くて残金である」ということは偽だ;
$facts$ = fact1: あのアルカロイドは思惟しなくて抱っこしない fact2: もしも「漢人である」ものがあればその三次元立体内視鏡は専用機だ fact3: その三次元立体内視鏡は材料でなくて救い難くない fact4: 「「打ち合わせない一方で思惟する」ということは間違いである」物はある fact5: 「「残金でないしその上救い難いということはない」ということは嘘な」物はある fact6: もし仮にとあるものが免れ得るとしたらそれは対象化する fact7: もしこの精神分裂病が残金であるがそれが抱っこしないとしたらその三次元立体内視鏡は抱っこする fact8: 「この精神分裂病は改善し得ないが抱っこする」ということは成り立たない fact9: 「その三次元立体内視鏡は材料でなくて打ち合わせるということはない」ということは偽だ fact10: その三次元立体内視鏡は抱っこする fact11: 仮になにがしかの物は抱っこするとすると「残金である」ということは事実である fact12: 「「思惟しなくて加えて材料でない」ということは成り立たない」ものがあるとするとその三次元立体内視鏡は抱っこする fact13: あのアルカロイドが思惟しなくておまけにそれが抱っこしないならこの精神分裂病は抱っこする fact14: 仮に「「救い難くないしおまけに打ち合わせない」ということは間違いである」ものはあるとしたら「その三次元立体内視鏡は抱っこする」ということは正しい fact15: もしとあるものが相容れるとするとそれは盛夏である fact16: もしも「「材料でなくてその上打ち合わせない」ということは嘘な」ものがあるとすればこの精神分裂病は救い難い fact17: 「「大海獣であるということはないし更に有機野菜でない」ということは成り立つということはない」物はある fact18: もしある物は抱っこしないなら「それは救い難くてそれは残金だ」ということは成り立たない fact19: あのアルカロイドがデザイン事務所だし見出だし難い fact20: 「「救い難いしおまけに打ち合わせない」ということは事実と異なる」物はある fact21: 「「救い難いがしかし残金であるということはない」ということは誤っている」ものはある ; $hypothesis$ = この精神分裂病は救い難くて残金である ; $proof$ = 
fact9 -> int1: 「「材料でないし打ち合わせない」ということは偽な」物はある; int1 & fact16 -> int2: この精神分裂病は救い難い; fact13 & fact1 -> int3: この精神分裂病は抱っこする; fact11 -> int4: この精神分裂病が抱っこするとしたらそれは残金だ; int3 & int4 -> int5: この精神分裂病は残金である; int2 & int5 -> hypothesis; __PROVED__
事実1: あのアルカロイドは思惟しなくて抱っこしない
事実2: もしも「漢人である」ものがあればその三次元立体内視鏡は専用機だ
事実3: その三次元立体内視鏡は材料でなくて救い難くない
事実4: 「「打ち合わせない一方で思惟する」ということは間違いである」物はある
事実5: 「「残金でないしその上救い難いということはない」ということは嘘な」物はある
事実6: もし仮にとあるものが免れ得るとしたらそれは対象化する
事実7: もしこの精神分裂病が残金であるがそれが抱っこしないとしたらその三次元立体内視鏡は抱っこする
事実8: 「この精神分裂病は改善し得ないが抱っこする」ということは成り立たない
事実9: 「その三次元立体内視鏡は材料でなくて打ち合わせるということはない」ということは偽だ
事実10: その三次元立体内視鏡は抱っこする
事実11: 仮になにがしかの物は抱っこするとすると「残金である」ということは事実である
事実12: 「「思惟しなくて加えて材料でない」ということは成り立たない」ものがあるとするとその三次元立体内視鏡は抱っこする
事実13: あのアルカロイドが思惟しなくておまけにそれが抱っこしないならこの精神分裂病は抱っこする
事実14: 仮に「「救い難くないしおまけに打ち合わせない」ということは間違いである」ものはあるとしたら「その三次元立体内視鏡は抱っこする」ということは正しい
事実15: もしとあるものが相容れるとするとそれは盛夏である
事実16: もしも「「材料でなくてその上打ち合わせない」ということは嘘な」ものがあるとすればこの精神分裂病は救い難い
事実17: 「「大海獣であるということはないし更に有機野菜でない」ということは成り立つということはない」物はある
事実18: もしある物は抱っこしないなら「それは救い難くてそれは残金だ」ということは成り立たない
事実19: あのアルカロイドがデザイン事務所だし見出だし難い
事実20: 「「救い難いしおまけに打ち合わせない」ということは事実と異なる」物はある
事実21: 「「救い難いがしかし残金であるということはない」ということは誤っている」ものはある

仮説: この精神分裂病は救い難くて残金である
1. 事実9から、推論1: "「「材料でないし打ち合わせない」ということは偽な」物はある"が導かれる
2. 推論1と事実16から、推論2: "この精神分裂病は救い難い"が導かれる
3. 事実13と事実1から、推論3: "この精神分裂病は抱っこする"が導かれる
4. 事実11から、推論4: "この精神分裂病が抱っこするとしたらそれは残金だ"が導かれる
5. 推論3と推論4から、推論5: "この精神分裂病は残金である"が導かれる
6. 推論2と推論5から、仮説が導かれる

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