「あのエアフロレスは主上でなくてまた焦れったいということはない」ということは正しくない
fact1: もしも「何かは際限無いかまたはそれは届き易いということはない」ということは成り立つということはないなら忘れ難いということはない fact2: この正月明けは主上だ fact3: この正月明けは御労しい fact4: この正月明けが御労しいならあのエアフロレスは主上でない fact5: この正月明けは魘され続ける fact6: あのエアフロレスは主上でない fact7: この正月明けが御労しいとするとあのエアフロレスは主上でなくておまけにそれは焦れったくない fact8: この正月明けが動作性であるけど忘れ難いということはないとすればその放浪者は忘れ難くない fact9: 仮にこの正月明けは魘され続けるとすれば「動作性だ」ということは真実だ fact10: その駅構内は凍結しなくて更に置き易くない fact11: もしなんらかのものは忘れ難くないならば「御労しいし主上だ」ということは間違いでない fact12: あのエアフロレスは御労しいということはないし加えてそれは正しくない
fact7 & fact3 -> hypothesis;
その放浪者は主上である
fact14 -> int1: もしその放浪者が忘れ難くないとしたらそれは御労しくてそれにそれは主上だ; fact13 & fact15 -> int2: この正月明けは動作性だ; fact16 -> int3: もし「この正月明けは際限無いかもしくはそれは届き易くない」ということは成り立つということはないとするとそれは忘れ難くない;
$facts$ = fact1: もしも「何かは際限無いかまたはそれは届き易いということはない」ということは成り立つということはないなら忘れ難いということはない fact2: この正月明けは主上だ fact3: この正月明けは御労しい fact4: この正月明けが御労しいならあのエアフロレスは主上でない fact5: この正月明けは魘され続ける fact6: あのエアフロレスは主上でない fact7: この正月明けが御労しいとするとあのエアフロレスは主上でなくておまけにそれは焦れったくない fact8: この正月明けが動作性であるけど忘れ難いということはないとすればその放浪者は忘れ難くない fact9: 仮にこの正月明けは魘され続けるとすれば「動作性だ」ということは真実だ fact10: その駅構内は凍結しなくて更に置き易くない fact11: もしなんらかのものは忘れ難くないならば「御労しいし主上だ」ということは間違いでない fact12: あのエアフロレスは御労しいということはないし加えてそれは正しくない ; $hypothesis$ = 「あのエアフロレスは主上でなくてまた焦れったいということはない」ということは正しくない ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「何かは際限無いかまたはそれは届き易いということはない」ということは成り立つということはないなら忘れ難いということはない
事実2: この正月明けは主上だ
事実3: この正月明けは御労しい
事実4: この正月明けが御労しいならあのエアフロレスは主上でない
事実5: この正月明けは魘され続ける
事実6: あのエアフロレスは主上でない
事実7: この正月明けが御労しいとするとあのエアフロレスは主上でなくておまけにそれは焦れったくない
事実8: この正月明けが動作性であるけど忘れ難いということはないとすればその放浪者は忘れ難くない
事実9: 仮にこの正月明けは魘され続けるとすれば「動作性だ」ということは真実だ
事実10: その駅構内は凍結しなくて更に置き易くない
事実11: もしなんらかのものは忘れ難くないならば「御労しいし主上だ」ということは間違いでない
事実12: あのエアフロレスは御労しいということはないし加えてそれは正しくない

仮説: 「あのエアフロレスは主上でなくてまた焦れったいということはない」ということは正しくない
1. 事実7と事実3から、仮説が否定される

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