この突然変異は設置形態だけれど増資しない
fact1: この突然変異は最後列である fact2: 「なにかは寝苦しい」ということは真実であるとしたらそれは設置形態だけど増資しない fact3: この突然変異は寝苦しくてそれにそれは最後列である fact4: 「なにかは増資する」ということは成り立てば寝苦しいけど最後列だということはない fact5: 寝苦しいものは増資しない fact6: もしある物がやんごとなくないとするとそれは狭苦しいし加えてそれは寝苦しい fact7: もし仮にこの突然変異が寝苦しいとすると増資するということはない fact8: もし何かは寝苦しくないとすれば「それは設置形態だけれど増資しない」ということは確かでない fact9: あの夜毎はやんごとなくない fact10: もし仮に「何かは類推だ一方で最後列でない」ということは偽だとしたらそれは飲み込めない fact11: あのデッドボール時代は傍論であるしそれは設置形態である fact12: 類推は最後列である fact13: この突然変異は東端である fact14: この突然変異は増資しない fact15: この突然変異は及び難いが増資しない
fact2 -> int1: 「もしもこの突然変異が寝苦しいならばこの突然変異は設置形態だがしかし増資しない」ということは正しい; fact3 -> int2: この突然変異は寝苦しい; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact3 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「この突然変異は設置形態だけれどそれは増資しない」ということは成り立たない
fact16 -> int3: もし仮に「この突然変異は寝苦しくない」ということは成り立つとすると「設置形態であるしおまけにそれは増資しない」ということは誤りである; fact17 -> int4: もしもこの突然変異は類推であるならば最後列だ;
$facts$ = fact1: この突然変異は最後列である fact2: 「なにかは寝苦しい」ということは真実であるとしたらそれは設置形態だけど増資しない fact3: この突然変異は寝苦しくてそれにそれは最後列である fact4: 「なにかは増資する」ということは成り立てば寝苦しいけど最後列だということはない fact5: 寝苦しいものは増資しない fact6: もしある物がやんごとなくないとするとそれは狭苦しいし加えてそれは寝苦しい fact7: もし仮にこの突然変異が寝苦しいとすると増資するということはない fact8: もし何かは寝苦しくないとすれば「それは設置形態だけれど増資しない」ということは確かでない fact9: あの夜毎はやんごとなくない fact10: もし仮に「何かは類推だ一方で最後列でない」ということは偽だとしたらそれは飲み込めない fact11: あのデッドボール時代は傍論であるしそれは設置形態である fact12: 類推は最後列である fact13: この突然変異は東端である fact14: この突然変異は増資しない fact15: この突然変異は及び難いが増資しない ; $hypothesis$ = この突然変異は設置形態だけれど増資しない ; $proof$ = 
fact2 -> int1: 「もしもこの突然変異が寝苦しいならばこの突然変異は設置形態だがしかし増資しない」ということは正しい; fact3 -> int2: この突然変異は寝苦しい; int1 & int2 -> hypothesis; __PROVED__
事実1: この突然変異は最後列である
事実2: 「なにかは寝苦しい」ということは真実であるとしたらそれは設置形態だけど増資しない
事実3: この突然変異は寝苦しくてそれにそれは最後列である
事実4: 「なにかは増資する」ということは成り立てば寝苦しいけど最後列だということはない
事実5: 寝苦しいものは増資しない
事実6: もしある物がやんごとなくないとするとそれは狭苦しいし加えてそれは寝苦しい
事実7: もし仮にこの突然変異が寝苦しいとすると増資するということはない
事実8: もし何かは寝苦しくないとすれば「それは設置形態だけれど増資しない」ということは確かでない
事実9: あの夜毎はやんごとなくない
事実10: もし仮に「何かは類推だ一方で最後列でない」ということは偽だとしたらそれは飲み込めない
事実11: あのデッドボール時代は傍論であるしそれは設置形態である
事実12: 類推は最後列である
事実13: この突然変異は東端である
事実14: この突然変異は増資しない
事実15: この突然変異は及び難いが増資しない

仮説: この突然変異は設置形態だけれど増資しない
1. 事実2から、推論1: "「もしもこの突然変異が寝苦しいならばこの突然変異は設置形態だがしかし増資しない」ということは正しい"が導かれる
2. 事実3から、推論2: "この突然変異は寝苦しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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