「あの権利承継人は日参するがしかし惟るない」ということは誤りである
fact1: もしも「なんらかのものは病気休暇・復職であるし更に焼く」ということは成り立たないとするとそれは支払い期間であるということはない fact2: もしもあの暑中見舞いが湿っぽいならばあの権利承継人は湿っぽいということはない fact3: もしもなにかは甘ーいなら「喋り難い」ということは真実である fact4: もし仮にあの暑中見舞いが湿っぽいならあの大リーグは消化吸収する fact5: あの権利承継人は消化吸収する fact6: 喋り難いものは待ち伏せである fact7: もしある物は湿っぽくないとしたら「日参するが惟るない」ということは嘘である fact8: 湿っぽい物は日参する一方で惟るということはない fact9: 喋り難いものは待ち伏せでない fact10: その確定年金が喋り難いとしたらあの暑中見舞いは喋り難い fact11: 「そのぼやきは病気休暇・復職だしその上焼く」ということは嘘である fact12: あの権利承継人が消化吸収するとしたら湿っぽい fact13: 仮に何らかの物が待ち伏せだということはないとするとそれは湿っぽくておまけにそれは消化吸収する
fact8 -> int1: もしあの権利承継人は湿っぽいならば「それは日参するしおまけにそれは惟るということはない」ということは成り立つ; fact12 & fact5 -> int2: あの権利承継人は湿っぽい; int1 & int2 -> hypothesis;
fact8 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact12 & fact5 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「あの権利承継人は日参するが惟るない」ということは成り立たない
fact16 -> int3: もしもあの権利承継人は湿っぽいということはないとすれば「それは日参するししかもそれは惟るない」ということは成り立たない; fact18 -> int4: もしもあの暑中見舞いが待ち伏せでないとしたらそれは湿っぽいししかもそれは消化吸収する; fact19 -> int5: もし仮にあの暑中見舞いが喋り難いなら待ち伏せでない; fact14 -> int6: 仮にその確定年金は甘ーいならば「それは喋り難い」ということは本当だ; fact21 -> int7: 仮に「そのぼやきは病気休暇・復職であるしそれは焼く」ということは嘘であるとすればそれは支払い期間でない; int7 & fact15 -> int8: そのぼやきは支払い期間でない; int8 -> int9: 「支払い期間でない」ものはある;
$facts$ = fact1: もしも「なんらかのものは病気休暇・復職であるし更に焼く」ということは成り立たないとするとそれは支払い期間であるということはない fact2: もしもあの暑中見舞いが湿っぽいならばあの権利承継人は湿っぽいということはない fact3: もしもなにかは甘ーいなら「喋り難い」ということは真実である fact4: もし仮にあの暑中見舞いが湿っぽいならあの大リーグは消化吸収する fact5: あの権利承継人は消化吸収する fact6: 喋り難いものは待ち伏せである fact7: もしある物は湿っぽくないとしたら「日参するが惟るない」ということは嘘である fact8: 湿っぽい物は日参する一方で惟るということはない fact9: 喋り難いものは待ち伏せでない fact10: その確定年金が喋り難いとしたらあの暑中見舞いは喋り難い fact11: 「そのぼやきは病気休暇・復職だしその上焼く」ということは嘘である fact12: あの権利承継人が消化吸収するとしたら湿っぽい fact13: 仮に何らかの物が待ち伏せだということはないとするとそれは湿っぽくておまけにそれは消化吸収する ; $hypothesis$ = 「あの権利承継人は日参するがしかし惟るない」ということは誤りである ; $proof$ = 
fact8 -> int1: もしあの権利承継人は湿っぽいならば「それは日参するしおまけにそれは惟るということはない」ということは成り立つ; fact12 & fact5 -> int2: あの権利承継人は湿っぽい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかのものは病気休暇・復職であるし更に焼く」ということは成り立たないとするとそれは支払い期間であるということはない
事実2: もしもあの暑中見舞いが湿っぽいならばあの権利承継人は湿っぽいということはない
事実3: もしもなにかは甘ーいなら「喋り難い」ということは真実である
事実4: もし仮にあの暑中見舞いが湿っぽいならあの大リーグは消化吸収する
事実5: あの権利承継人は消化吸収する
事実6: 喋り難いものは待ち伏せである
事実7: もしある物は湿っぽくないとしたら「日参するが惟るない」ということは嘘である
事実8: 湿っぽい物は日参する一方で惟るということはない
事実9: 喋り難いものは待ち伏せでない
事実10: その確定年金が喋り難いとしたらあの暑中見舞いは喋り難い
事実11: 「そのぼやきは病気休暇・復職だしその上焼く」ということは嘘である
事実12: あの権利承継人が消化吸収するとしたら湿っぽい
事実13: 仮に何らかの物が待ち伏せだということはないとするとそれは湿っぽくておまけにそれは消化吸収する

仮説: 「あの権利承継人は日参するがしかし惟るない」ということは誤りである
1. 事実8から、推論1: "もしあの権利承継人は湿っぽいならば「それは日参するしおまけにそれは惟るということはない」ということは成り立つ"が導かれる
2. 事実12と事実5から、推論2: "あの権利承継人は湿っぽい"が導かれる
3. 推論1と推論2から、仮説が否定される

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