「「溜め込み易いかもしくは初期対応であるということはないかもしくは両方である」物はある」ということは偽である
fact1: あの国防費は訳無い fact2: 仮に「この羊歯植物は訳無くない」ということは成り立たないとすればこの磯辺は溜め込み易いかまたはそれは初期対応であるかあるいは両方である fact3: なにかは御案内致せば「それは寄る辺無い」ということは正しい fact4: 「溜め込み易いか初期対応な」ものはある fact5: 何らかのものはオイルフィニッシュであるか負担過重であるかまたは両方だ fact6: 寄る辺無いものは徒らっぽいかまたは訳無くないかもしくはどちらもだ fact7: この磯辺は溜め込み易いかあるいは初期対応だ fact8: 仮にこの羊歯植物が訳無いならこの磯辺は溜め込み易いかあるいは初期対応でないかまたは両方ともである fact9: 「溜め込み易いかまたは訳無くないか両方な」物はある fact10: 「とある物は訳無いがしかし寄る辺無くない」ということは偽ならそれは訳無くない fact11: この羊歯植物は初期対応である fact12: あの初期評価は訳無いか中止すかもしくはどちらもである fact13: この羊歯植物は訳無い fact14: 仮になにがしかの物が呻かないとすれば御案内致すしそれは噛みちぎる fact15: この磯辺は訳無い fact16: この磯辺は訳無いかもしくは溜め込み易くないかどちらもである fact17: この羊歯植物は初期対応であるか子供らしいか両方ともである fact18: とあるものは訳無いかあるいは初期対応でないかあるいは両方ともである fact19: 訳無いということはない物はミンストレルであるかもしくは太平洋戦争末期であるということはないかもしくはどちらもだ
fact8 & fact13 -> int1: この磯辺は溜め込み易いかもしくはそれは初期対応でないかもしくは両方ともである; int1 -> hypothesis;
fact8 & fact13 -> int1: ({AA}{b} v ¬{AB}{b}); int1 -> hypothesis;
なにがしかの物はミンストレルであるかあるいは太平洋戦争末期でないかあるいはどちらもだ
fact20 -> int2: もしこの羊歯植物が訳無くないならばミンストレルであるかまたは太平洋戦争末期でないかあるいは両方である; fact21 -> int3: もし「「この羊歯植物は訳無いけれど寄る辺無くない」ということは成り立つ」ということは嘘であるとしたら訳無くない;
$facts$ = fact1: あの国防費は訳無い fact2: 仮に「この羊歯植物は訳無くない」ということは成り立たないとすればこの磯辺は溜め込み易いかまたはそれは初期対応であるかあるいは両方である fact3: なにかは御案内致せば「それは寄る辺無い」ということは正しい fact4: 「溜め込み易いか初期対応な」ものはある fact5: 何らかのものはオイルフィニッシュであるか負担過重であるかまたは両方だ fact6: 寄る辺無いものは徒らっぽいかまたは訳無くないかもしくはどちらもだ fact7: この磯辺は溜め込み易いかあるいは初期対応だ fact8: 仮にこの羊歯植物が訳無いならこの磯辺は溜め込み易いかあるいは初期対応でないかまたは両方ともである fact9: 「溜め込み易いかまたは訳無くないか両方な」物はある fact10: 「とある物は訳無いがしかし寄る辺無くない」ということは偽ならそれは訳無くない fact11: この羊歯植物は初期対応である fact12: あの初期評価は訳無いか中止すかもしくはどちらもである fact13: この羊歯植物は訳無い fact14: 仮になにがしかの物が呻かないとすれば御案内致すしそれは噛みちぎる fact15: この磯辺は訳無い fact16: この磯辺は訳無いかもしくは溜め込み易くないかどちらもである fact17: この羊歯植物は初期対応であるか子供らしいか両方ともである fact18: とあるものは訳無いかあるいは初期対応でないかあるいは両方ともである fact19: 訳無いということはない物はミンストレルであるかもしくは太平洋戦争末期であるということはないかもしくはどちらもだ ; $hypothesis$ = 「「溜め込み易いかもしくは初期対応であるということはないかもしくは両方である」物はある」ということは偽である ; $proof$ = 
fact8 & fact13 -> int1: この磯辺は溜め込み易いかもしくはそれは初期対応でないかもしくは両方ともである; int1 -> hypothesis; __DISPROVED__
事実1: あの国防費は訳無い
事実2: 仮に「この羊歯植物は訳無くない」ということは成り立たないとすればこの磯辺は溜め込み易いかまたはそれは初期対応であるかあるいは両方である
事実3: なにかは御案内致せば「それは寄る辺無い」ということは正しい
事実4: 「溜め込み易いか初期対応な」ものはある
事実5: 何らかのものはオイルフィニッシュであるか負担過重であるかまたは両方だ
事実6: 寄る辺無いものは徒らっぽいかまたは訳無くないかもしくはどちらもだ
事実7: この磯辺は溜め込み易いかあるいは初期対応だ
事実8: 仮にこの羊歯植物が訳無いならこの磯辺は溜め込み易いかあるいは初期対応でないかまたは両方ともである
事実9: 「溜め込み易いかまたは訳無くないか両方な」物はある
事実10: 「とある物は訳無いがしかし寄る辺無くない」ということは偽ならそれは訳無くない
事実11: この羊歯植物は初期対応である
事実12: あの初期評価は訳無いか中止すかもしくはどちらもである
事実13: この羊歯植物は訳無い
事実14: 仮になにがしかの物が呻かないとすれば御案内致すしそれは噛みちぎる
事実15: この磯辺は訳無い
事実16: この磯辺は訳無いかもしくは溜め込み易くないかどちらもである
事実17: この羊歯植物は初期対応であるか子供らしいか両方ともである
事実18: とあるものは訳無いかあるいは初期対応でないかあるいは両方ともである
事実19: 訳無いということはない物はミンストレルであるかもしくは太平洋戦争末期であるということはないかもしくはどちらもだ

仮説: 「「溜め込み易いかもしくは初期対応であるということはないかもしくは両方である」物はある」ということは偽である
1. 事実8と事実13から、推論1: "この磯辺は溜め込み易いかもしくはそれは初期対応でないかもしくは両方ともである"が導かれる
2. 推論1から、仮説が否定される

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