あの雷門は上木する
fact1: もし何らかのものが低収入であるということはないなら上木するし焼き難い fact2: あの基壇部分は小乗仏教である fact3: 「あの雷門は公示するがしかしそれは御安心下さるということはない」ということは事実と異なる fact4: このパーソナル・コンピューターは心弱くない fact5: もし仮に「あのテレビ・カメラは小乗仏教である一方で公示しない」ということは成り立たないとするとあのマンション内は低収入だ fact6: もしあのマンション内が焼き難くないならばあのパーソナル・コンピューターは物々しいけど焼き難くない fact7: もしその五十肩が心弱くてまた御安心下さるとするとあの雷門は公示する fact8: もしもあの雷門が小乗仏教でまた焼き難いならあのテレビ・カメラは上木する fact9: 「もしもあのテレビ・カメラが物々しかないならこのパーソナル・コンピューターは公示する一方でそれは物々しいということはない」ということは本当である fact10: あのマンション内は小乗仏教でない fact11: もしあのテレビ・カメラが小乗仏教でないとするとこのパーソナル・コンピューターは小乗仏教でない fact12: その五十肩は物々しい fact13: 「あのテレビ・カメラは小乗仏教だ一方で公示しない」ということは成り立つということはない fact14: もしこのパーソナル・コンピューターが物々しい一方で焼き難いということはないとしたらその五十肩は心弱い fact15: 仮に「あの雷門は小乗仏教でない」ということは成り立つならあのテレビ・カメラは上木する fact16: 仮にあのマンション内が物々しかないとすればこのパーソナル・コンピューターは焼き難い fact17: あのテレビ・カメラは御安心下さらないけれどそれは小乗仏教である fact18: 仮になにがしかの物は低収入であるならば焼き難くない fact19: その五十肩が物々しかないとすればこのパーソナル・コンピューターは心弱い fact20: あの雷門は小乗仏教であるということはない fact21: 「この資材調達は公示する」ということは誤りでない fact22: もしこのパーソナル・コンピューターが物々しかないならあの雷門は上木する一方でそれは物々しかない fact23: もし仮にその五十肩が公示するがしかし低収入であるということはないならばあのテレビ・カメラは心弱い fact24: もしその五十肩が焼き難くないとするとこのパーソナル・コンピューターは心弱いがそれは焼き難いということはない fact25: 仮に「心弱い」ものがあるとするとあの雷門は上木しないが御安心下さる
fact5 & fact13 -> int1: あのマンション内は低収入である; fact18 -> int2: あのマンション内は低収入であるとすれば焼き難くない; int1 & int2 -> int3: あのマンション内は焼き難くない; int3 & fact6 -> int4: このパーソナル・コンピューターは物々しいけれど焼き難くない; int4 & fact14 -> int5: その五十肩は心弱い; int5 -> int6: 「心弱い」物はある; int6 & fact25 -> int7: あの雷門は上木しないが御安心下さる; int7 -> hypothesis;
あの雷門は上木する
fact26 -> int8: もしもあの雷門が低収入でないなら上木するし更にそれは焼き難い;
$facts$ = fact1: もし何らかのものが低収入であるということはないなら上木するし焼き難い fact2: あの基壇部分は小乗仏教である fact3: 「あの雷門は公示するがしかしそれは御安心下さるということはない」ということは事実と異なる fact4: このパーソナル・コンピューターは心弱くない fact5: もし仮に「あのテレビ・カメラは小乗仏教である一方で公示しない」ということは成り立たないとするとあのマンション内は低収入だ fact6: もしあのマンション内が焼き難くないならばあのパーソナル・コンピューターは物々しいけど焼き難くない fact7: もしその五十肩が心弱くてまた御安心下さるとするとあの雷門は公示する fact8: もしもあの雷門が小乗仏教でまた焼き難いならあのテレビ・カメラは上木する fact9: 「もしもあのテレビ・カメラが物々しかないならこのパーソナル・コンピューターは公示する一方でそれは物々しいということはない」ということは本当である fact10: あのマンション内は小乗仏教でない fact11: もしあのテレビ・カメラが小乗仏教でないとするとこのパーソナル・コンピューターは小乗仏教でない fact12: その五十肩は物々しい fact13: 「あのテレビ・カメラは小乗仏教だ一方で公示しない」ということは成り立つということはない fact14: もしこのパーソナル・コンピューターが物々しい一方で焼き難いということはないとしたらその五十肩は心弱い fact15: 仮に「あの雷門は小乗仏教でない」ということは成り立つならあのテレビ・カメラは上木する fact16: 仮にあのマンション内が物々しかないとすればこのパーソナル・コンピューターは焼き難い fact17: あのテレビ・カメラは御安心下さらないけれどそれは小乗仏教である fact18: 仮になにがしかの物は低収入であるならば焼き難くない fact19: その五十肩が物々しかないとすればこのパーソナル・コンピューターは心弱い fact20: あの雷門は小乗仏教であるということはない fact21: 「この資材調達は公示する」ということは誤りでない fact22: もしこのパーソナル・コンピューターが物々しかないならあの雷門は上木する一方でそれは物々しかない fact23: もし仮にその五十肩が公示するがしかし低収入であるということはないならばあのテレビ・カメラは心弱い fact24: もしその五十肩が焼き難くないとするとこのパーソナル・コンピューターは心弱いがそれは焼き難いということはない fact25: 仮に「心弱い」ものがあるとするとあの雷門は上木しないが御安心下さる ; $hypothesis$ = あの雷門は上木する ; $proof$ = 
fact5 & fact13 -> int1: あのマンション内は低収入である; fact18 -> int2: あのマンション内は低収入であるとすれば焼き難くない; int1 & int2 -> int3: あのマンション内は焼き難くない; int3 & fact6 -> int4: このパーソナル・コンピューターは物々しいけれど焼き難くない; int4 & fact14 -> int5: その五十肩は心弱い; int5 -> int6: 「心弱い」物はある; int6 & fact25 -> int7: あの雷門は上木しないが御安心下さる; int7 -> 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: もし仮にその五十肩が公示するがしかし低収入であるということはないならばあのテレビ・カメラは心弱い
事実24: もしその五十肩が焼き難くないとするとこのパーソナル・コンピューターは心弱いがそれは焼き難いということはない
事実25: 仮に「心弱い」ものがあるとするとあの雷門は上木しないが御安心下さる

仮説: あの雷門は上木する
1. 事実5と事実13から、推論1: "あのマンション内は低収入である"が導かれる
2. 事実18から、推論2: "あのマンション内は低収入であるとすれば焼き難くない"が導かれる
3. 推論1と推論2から、推論3: "あのマンション内は焼き難くない"が導かれる
4. 推論3と事実6から、推論4: "このパーソナル・コンピューターは物々しいけれど焼き難くない"が導かれる
5. 推論4と事実14から、推論5: "その五十肩は心弱い"が導かれる
6. 推論5から、推論6: "「心弱い」物はある"が導かれる
7. 推論6と事実25から、推論7: "あの雷門は上木しないが御安心下さる"が導かれる
8. 推論7から、仮説が否定される

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