「この年寄り並みは古学であるということはないけど高校卒業である」ということは偽である
fact1: この諱は取り締まりでないとしたら「それは固ししさらにそれは鉄扉でない」ということは間違いである fact2: この諱は取り締まりでない fact3: 「その文献史料は御取るしその上ｍＩＳである」ということは嘘だ fact4: 固しない物は事足る fact5: この年寄り並みは取り締まりでない fact6: もし「何らかのものは固しけどそれは鉄扉でない」ということは誤っていればそれは事足る fact7: この諱が固しないとすればそれは事足る fact8: この諱が事足るとしたらこの年寄り並みは古学でない fact9: もし仮に何かは取り締まりであるならば「それは古学でないけれど高校卒業である」ということは誤りである fact10: もしもこの諱が事足るとすればこの年寄り並みは古学でないけど高校卒業だ fact11: この年寄り並みは古学でない fact12: もし仮に「何らかのものは事足るがしかし固しない」ということは誤っているなら高校卒業である fact13: この千九百八十一Ｂが添付すらないとすればこの諱は取り締まりであるかあるいは事足るかあるいは両方ともだ fact14: あの右回転は固し
fact1 & fact2 -> int1: 「この諱は固し一方で鉄扉でない」ということは本当でない; fact6 -> int2: もし仮に「この諱は固しけれど鉄扉でない」ということは嘘であるとしたら「それは事足る」ということは事実である; int1 & int2 -> int3: この諱は事足る; int3 & fact10 -> hypothesis;
「この年寄り並みは古学でないがしかし高校卒業である」ということは成り立たない
fact15 -> int4: この年寄り並みは取り締まりだとしたら「古学だということはなくてそれは高校卒業だ」ということは成り立たない; fact16 -> int5: 「「「御取るししかもＭＩＳである」ということは事実だ」ということは成り立たない」ものはある;
$facts$ = fact1: この諱は取り締まりでないとしたら「それは固ししさらにそれは鉄扉でない」ということは間違いである fact2: この諱は取り締まりでない fact3: 「その文献史料は御取るしその上ｍＩＳである」ということは嘘だ fact4: 固しない物は事足る fact5: この年寄り並みは取り締まりでない fact6: もし「何らかのものは固しけどそれは鉄扉でない」ということは誤っていればそれは事足る fact7: この諱が固しないとすればそれは事足る fact8: この諱が事足るとしたらこの年寄り並みは古学でない fact9: もし仮に何かは取り締まりであるならば「それは古学でないけれど高校卒業である」ということは誤りである fact10: もしもこの諱が事足るとすればこの年寄り並みは古学でないけど高校卒業だ fact11: この年寄り並みは古学でない fact12: もし仮に「何らかのものは事足るがしかし固しない」ということは誤っているなら高校卒業である fact13: この千九百八十一Ｂが添付すらないとすればこの諱は取り締まりであるかあるいは事足るかあるいは両方ともだ fact14: あの右回転は固し ; $hypothesis$ = 「この年寄り並みは古学であるということはないけど高校卒業である」ということは偽である ; $proof$ = 
fact1 & fact2 -> int1: 「この諱は固し一方で鉄扉でない」ということは本当でない; fact6 -> int2: もし仮に「この諱は固しけれど鉄扉でない」ということは嘘であるとしたら「それは事足る」ということは事実である; int1 & int2 -> int3: この諱は事足る; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: この諱は取り締まりでないとしたら「それは固ししさらにそれは鉄扉でない」ということは間違いである
事実2: この諱は取り締まりでない
事実3: 「その文献史料は御取るしその上ｍＩＳである」ということは嘘だ
事実4: 固しない物は事足る
事実5: この年寄り並みは取り締まりでない
事実6: もし「何らかのものは固しけどそれは鉄扉でない」ということは誤っていればそれは事足る
事実7: この諱が固しないとすればそれは事足る
事実8: この諱が事足るとしたらこの年寄り並みは古学でない
事実9: もし仮に何かは取り締まりであるならば「それは古学でないけれど高校卒業である」ということは誤りである
事実10: もしもこの諱が事足るとすればこの年寄り並みは古学でないけど高校卒業だ
事実11: この年寄り並みは古学でない
事実12: もし仮に「何らかのものは事足るがしかし固しない」ということは誤っているなら高校卒業である
事実13: この千九百八十一Ｂが添付すらないとすればこの諱は取り締まりであるかあるいは事足るかあるいは両方ともだ
事実14: あの右回転は固し

仮説: 「この年寄り並みは古学であるということはないけど高校卒業である」ということは偽である
1. 事実1と事実2から、推論1: "「この諱は固し一方で鉄扉でない」ということは本当でない"が導かれる
2. 事実6から、推論2: "もし仮に「この諱は固しけれど鉄扉でない」ということは嘘であるとしたら「それは事足る」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "この諱は事足る"が導かれる
4. 推論3と事実10から、仮説が否定される

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