「その訪問入浴介護は阿呆らしくない」ということは正しい
fact1: 仮にその訪問入浴介護が寡占しないとすればそれは推挙するしかつそれは明細短冊だ fact2: なにがしかの物は推挙しない fact3: もし仮に「「「特掲するししかも丸々珍聞である」ということは嘘な」ものはある」ということは真実ならばその訪問入浴介護は阿呆らしくない fact4: 「この謝辞は阿呆らしいけれど関わり始めない」ということは間違っている fact5: 仮にその上刻は焦点調節であるならば寡占しない fact6: 仮にその上刻が無視出来るならあの借家住まいは寡占する fact7: 仮にこの生産年齢人口が明細短冊でないけれどそれが推挙するとするとその上刻は無視出来る fact8: 何らかの物は丸々珍聞で加えてそれは阿呆らしい fact9: この生産年齢人口は成され易い fact10: もしとある物は丸々珍聞であるならば「それは成され易くないし更に特掲しない」ということは成り立つということはない fact11: この生産年齢人口はむさくないとすると「あの低次は特掲するしかつそれは丸々珍聞だ」ということは成り立たない fact12: もし仮に焦点調節が成され易いとしたらそれはむさくない fact13: とあるものは無視出来ない一方で明細短冊だ fact14: もしもなにがしかのものが無視出来ないけど明細短冊であるとするとその上刻は推挙する fact15: 「「成され易くないしまた特掲するということはない」ということは真実でない」ものはあれば「あの低次は成され易い」ということは正しい fact16: もし仮に「「阿呆らしいしかつ関わり始めない」ということは成り立たない」物があるとするとその訪問入浴介護は丸々珍聞である fact17: 「あの低次はむさくない」ということは成り立つ fact18: もしその訪問入浴介護が成され易いしそれにそれが阿呆らしいならばそれは推挙しない fact19: もしもなにかは焦点調節でないなら明細短冊でないけど推挙する fact20: その上刻が明細短冊であるならばその訪問入浴介護は無視出来る fact21: 仮に「なんらかのものは寡占する」ということは真実であるならばそれは焦点調節である fact22: 仮になんらかの物が無視出来れば阿呆らしい fact23: もしその上刻が推挙するとすればこの生産年齢人口は寡占する
fact13 & fact14 -> int1: その上刻は推挙する; int1 & fact23 -> int2: この生産年齢人口は寡占する; fact21 -> int3: 仮に「この生産年齢人口は寡占する」ということは本当だとしたらそれは焦点調節である; int2 & int3 -> int4: この生産年齢人口は焦点調節である; int4 & fact9 -> int5: この生産年齢人口は焦点調節であるし更に成され易い; fact12 -> int6: この生産年齢人口が焦点調節で成され易いとしたらそれはむさくない; int5 & int6 -> int7: この生産年齢人口はむさいということはない; int7 & fact11 -> int8: 「あの低次は特掲するしそれは丸々珍聞である」ということは成り立たない; int8 -> int9: 「「特掲するし加えて丸々珍聞だ」ということは正しくない」ものはある; int9 & fact3 -> hypothesis;
その訪問入浴介護は阿呆らしい
fact24 -> int10: もしも「その訪問入浴介護は無視出来る」ということは正しいとしたら阿呆らしい;
$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$ = 
fact13 & fact14 -> int1: その上刻は推挙する; int1 & fact23 -> int2: この生産年齢人口は寡占する; fact21 -> int3: 仮に「この生産年齢人口は寡占する」ということは本当だとしたらそれは焦点調節である; int2 & int3 -> int4: この生産年齢人口は焦点調節である; int4 & fact9 -> int5: この生産年齢人口は焦点調節であるし更に成され易い; fact12 -> int6: この生産年齢人口が焦点調節で成され易いとしたらそれはむさくない; int5 & int6 -> int7: この生産年齢人口はむさいということはない; int7 & fact11 -> int8: 「あの低次は特掲するしそれは丸々珍聞である」ということは成り立たない; int8 -> int9: 「「特掲するし加えて丸々珍聞だ」ということは正しくない」ものはある; int9 & fact3 -> 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. 事実13と事実14から、推論1: "その上刻は推挙する"が導かれる
2. 推論1と事実23から、推論2: "この生産年齢人口は寡占する"が導かれる
3. 事実21から、推論3: "仮に「この生産年齢人口は寡占する」ということは本当だとしたらそれは焦点調節である"が導かれる
4. 推論2と推論3から、推論4: "この生産年齢人口は焦点調節である"が導かれる
5. 推論4と事実9から、推論5: "この生産年齢人口は焦点調節であるし更に成され易い"が導かれる
6. 事実12から、推論6: "この生産年齢人口が焦点調節で成され易いとしたらそれはむさくない"が導かれる
7. 推論5と推論6から、推論7: "この生産年齢人口はむさいということはない"が導かれる
8. 推論7と事実11から、推論8: "「あの低次は特掲するしそれは丸々珍聞である」ということは成り立たない"が導かれる
9. 推論8から、推論9: "「「特掲するし加えて丸々珍聞だ」ということは正しくない」ものはある"が導かれる
10. 推論9と事実3から、仮説が導かれる

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