「その厭離庵は出来る出来るしおまけにそれは鋼上部工ＷＧである」ということは成り立たない
fact1: あの青系がまさぐるとすると朝刊だ fact2: 「まさぐるししかも太り易い」ものがあるとしたらその厭離庵は出来る出来る fact3: その厭離庵は臨むしさらに壊れる fact4: 「太り易い」ものはある fact5: もしもその厭離庵が勿体振れば鋼上部工ＷＧだ fact6: もしその厭離庵が臨むとするとそれは勿体振る fact7: 「その官位はまさぐる」ということは事実である fact8: その官位は太り易い fact9: 「その穴無し方式はまさぐる」ということは事実である
fact7 & fact8 -> int1: その官位はまさぐるし太り易い; int1 -> int2: 「なにがしかの物はまさぐるしそれに太り易い」ということは成り立つ; int2 & fact2 -> int3: その厭離庵は出来る出来る; fact3 -> int4: その厭離庵は臨む; fact6 & int4 -> int5: その厭離庵は勿体振る; fact5 & int5 -> int6: その厭離庵は鋼上部工ＷＧである; int3 & int6 -> hypothesis;
$facts$ = fact1: あの青系がまさぐるとすると朝刊だ fact2: 「まさぐるししかも太り易い」ものがあるとしたらその厭離庵は出来る出来る fact3: その厭離庵は臨むしさらに壊れる fact4: 「太り易い」ものはある fact5: もしもその厭離庵が勿体振れば鋼上部工ＷＧだ fact6: もしその厭離庵が臨むとするとそれは勿体振る fact7: 「その官位はまさぐる」ということは事実である fact8: その官位は太り易い fact9: 「その穴無し方式はまさぐる」ということは事実である ; $hypothesis$ = 「その厭離庵は出来る出来るしおまけにそれは鋼上部工ＷＧである」ということは成り立たない ; $proof$ = 
fact7 & fact8 -> int1: その官位はまさぐるし太り易い; int1 -> int2: 「なにがしかの物はまさぐるしそれに太り易い」ということは成り立つ; int2 & fact2 -> int3: その厭離庵は出来る出来る; fact3 -> int4: その厭離庵は臨む; fact6 & int4 -> int5: その厭離庵は勿体振る; fact5 & int5 -> int6: その厭離庵は鋼上部工ＷＧである; int3 & int6 -> hypothesis; __DISPROVED__
事実1: あの青系がまさぐるとすると朝刊だ
事実2: 「まさぐるししかも太り易い」ものがあるとしたらその厭離庵は出来る出来る
事実3: その厭離庵は臨むしさらに壊れる
事実4: 「太り易い」ものはある
事実5: もしもその厭離庵が勿体振れば鋼上部工ＷＧだ
事実6: もしその厭離庵が臨むとするとそれは勿体振る
事実7: 「その官位はまさぐる」ということは事実である
事実8: その官位は太り易い
事実9: 「その穴無し方式はまさぐる」ということは事実である

仮説: 「その厭離庵は出来る出来るしおまけにそれは鋼上部工ＷＧである」ということは成り立たない
1. 事実7と事実8から、推論1: "その官位はまさぐるし太り易い"が導かれる
2. 推論1から、推論2: "「なにがしかの物はまさぐるしそれに太り易い」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "その厭離庵は出来る出来る"が導かれる
4. 事実3から、推論4: "その厭離庵は臨む"が導かれる
5. 事実6と推論4から、推論5: "その厭離庵は勿体振る"が導かれる
6. 事実5と推論5から、推論6: "その厭離庵は鋼上部工ＷＧである"が導かれる
7. 推論3と推論6から、仮説が否定される

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