その遅蒔きは言い出し難くない
fact1: その遅蒔きは薪割りだということはない fact2: その品格が軍将校でないとするとその週日は如何わしくない fact3: もしも「軍将校でない」ものがあるとしたらその品格は如何わしくないかあるいは軍将校でないかあるいは両方ともである fact4: もし「その品格は如何わしくない」ということは確かであるとするとその週日は如何わしくない fact5: もしその遅蒔きは四十年基準である一方で薪割りでないとしたらそれは居合わせる fact6: もし何らかのものが一暴れするとするとそれはＴＩＰであるということはない fact7: あの新生骨は薪割りである fact8: もし「そのウイルス外膜が気忙しくないしさらに一暴れしない」ということは確かでないとするとその遅蒔きは一暴れする fact9: もしもその週日が如何わしくないならそのアジア・太平洋地域は気忙しくて加えてそれは守り易い fact10: あの共済期間は丸まるがしかし捨て置くということはない fact11: もし仮にとあるものは前提しないがしかし居合わせるなら「言い出し難くない」ということは事実だ fact12: 何かは居合わせるとすればそれは言い出し難い fact13: 「軍将校でない」ものはある fact14: もしもその遅蒔きが発揮し易いが舞台劇でないとすれば桟道だ fact15: もし仮にあの二者は差し押さえ手続きであるならば相反する fact16: その遅蒔きは四十年基準だけれどそれは薪割りでない fact17: もしあるものはＴＩＰでないとするとそれは相乗するしその上甘ったるい fact18: そのウイルス外膜は甘ったるいということはない fact19: 「その遅蒔きは四つん這いである一方できな臭いということはない」ということは成り立つ fact20: 「仮にその遅蒔きが四十年基準だしおまけに薪割りならば「その遅蒔きは居合わせる」ということは成り立つ」ということは正しい fact21: 仮にとあるものが相乗するとしたらそれは前提しないしその上それは居合わせる
fact5 & fact16 -> int1: その遅蒔きは居合わせる; fact12 -> int2: もし仮に「その遅蒔きは居合わせる」ということは成り立つなら言い出し難い; int1 & int2 -> hypothesis;
その遅蒔きは言い出し難くない
fact26 -> int3: もしもその遅蒔きが前提しないが居合わせるとすれば「言い出し難くない」ということは成り立つ; fact22 -> int4: その遅蒔きが相乗すればそれは前提しないし居合わせる; fact23 -> int5: もしも「その遅蒔きはＴＩＰだということはない」ということは本当であるならば相乗するし甘ったるい; fact27 -> int6: 仮にその遅蒔きが一暴れすればそれはＴＩＰでない; fact24 & fact28 -> int7: その品格は如何わしくないか軍将校でない; int7 & fact30 & fact25 -> int8: その週日は如何わしいということはない; fact31 & int8 -> int9: そのアジア・太平洋地域は気忙しくてかつ守り易い; int9 -> int10: そのアジア・太平洋地域は気忙しい; int10 -> int11: 「気忙しい」物はある;
$facts$ = fact1: その遅蒔きは薪割りだということはない fact2: その品格が軍将校でないとするとその週日は如何わしくない fact3: もしも「軍将校でない」ものがあるとしたらその品格は如何わしくないかあるいは軍将校でないかあるいは両方ともである fact4: もし「その品格は如何わしくない」ということは確かであるとするとその週日は如何わしくない fact5: もしその遅蒔きは四十年基準である一方で薪割りでないとしたらそれは居合わせる fact6: もし何らかのものが一暴れするとするとそれはＴＩＰであるということはない fact7: あの新生骨は薪割りである fact8: もし「そのウイルス外膜が気忙しくないしさらに一暴れしない」ということは確かでないとするとその遅蒔きは一暴れする fact9: もしもその週日が如何わしくないならそのアジア・太平洋地域は気忙しくて加えてそれは守り易い fact10: あの共済期間は丸まるがしかし捨て置くということはない fact11: もし仮にとあるものは前提しないがしかし居合わせるなら「言い出し難くない」ということは事実だ fact12: 何かは居合わせるとすればそれは言い出し難い fact13: 「軍将校でない」ものはある fact14: もしもその遅蒔きが発揮し易いが舞台劇でないとすれば桟道だ fact15: もし仮にあの二者は差し押さえ手続きであるならば相反する fact16: その遅蒔きは四十年基準だけれどそれは薪割りでない fact17: もしあるものはＴＩＰでないとするとそれは相乗するしその上甘ったるい fact18: そのウイルス外膜は甘ったるいということはない fact19: 「その遅蒔きは四つん這いである一方できな臭いということはない」ということは成り立つ fact20: 「仮にその遅蒔きが四十年基準だしおまけに薪割りならば「その遅蒔きは居合わせる」ということは成り立つ」ということは正しい fact21: 仮にとあるものが相乗するとしたらそれは前提しないしその上それは居合わせる ; $hypothesis$ = その遅蒔きは言い出し難くない ; $proof$ = 
fact5 & fact16 -> int1: その遅蒔きは居合わせる; fact12 -> int2: もし仮に「その遅蒔きは居合わせる」ということは成り立つなら言い出し難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その遅蒔きは薪割りだということはない
事実2: その品格が軍将校でないとするとその週日は如何わしくない
事実3: もしも「軍将校でない」ものがあるとしたらその品格は如何わしくないかあるいは軍将校でないかあるいは両方ともである
事実4: もし「その品格は如何わしくない」ということは確かであるとするとその週日は如何わしくない
事実5: もしその遅蒔きは四十年基準である一方で薪割りでないとしたらそれは居合わせる
事実6: もし何らかのものが一暴れするとするとそれはＴＩＰであるということはない
事実7: あの新生骨は薪割りである
事実8: もし「そのウイルス外膜が気忙しくないしさらに一暴れしない」ということは確かでないとするとその遅蒔きは一暴れする
事実9: もしもその週日が如何わしくないならそのアジア・太平洋地域は気忙しくて加えてそれは守り易い
事実10: あの共済期間は丸まるがしかし捨て置くということはない
事実11: もし仮にとあるものは前提しないがしかし居合わせるなら「言い出し難くない」ということは事実だ
事実12: 何かは居合わせるとすればそれは言い出し難い
事実13: 「軍将校でない」ものはある
事実14: もしもその遅蒔きが発揮し易いが舞台劇でないとすれば桟道だ
事実15: もし仮にあの二者は差し押さえ手続きであるならば相反する
事実16: その遅蒔きは四十年基準だけれどそれは薪割りでない
事実17: もしあるものはＴＩＰでないとするとそれは相乗するしその上甘ったるい
事実18: そのウイルス外膜は甘ったるいということはない
事実19: 「その遅蒔きは四つん這いである一方できな臭いということはない」ということは成り立つ
事実20: 「仮にその遅蒔きが四十年基準だしおまけに薪割りならば「その遅蒔きは居合わせる」ということは成り立つ」ということは正しい
事実21: 仮にとあるものが相乗するとしたらそれは前提しないしその上それは居合わせる

仮説: その遅蒔きは言い出し難くない
1. 事実5と事実16から、推論1: "その遅蒔きは居合わせる"が導かれる
2. 事実12から、推論2: "もし仮に「その遅蒔きは居合わせる」ということは成り立つなら言い出し難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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