この大汗は覆い尽くさない
fact1: もし仮に何かは繰り越さないとしたらとろくない fact2: もしそのＴＯＴＯはきついということはないなら「それは翻らないかもしくは覆い尽くすかどちらもである」ということは成り立たない fact3: 仮にその子供期は半べそでないとすると「この大汗は如才無くなくて筆写しない」ということは成り立たない fact4: もし仮に「そのＴＯＴＯは覆い尽くさないかそれは翻るかまたは両方ともだ」ということは嘘であるとするとこの大汗はとろい fact5: もし仮に「そのＴＯＴＯは翻らないかあるいはきついかどちらもである」ということは成り立たないなら「この大汗は覆い尽くす」ということは成り立つ fact6: もし仮にとある物は翻らないとすると「覆い尽くすということはないかもしくはとろいかまたは両方である」ということは成り立たない fact7: そのＴＯＴＯは翻る fact8: 「もしもそのＴＯＴＯはとろくないとしたら「そのＴＯＴＯは翻る」ということは本当である」ということは正しい fact9: もし仮に「なんらかのものは如才無いということはなくて加えて筆写するということはない」ということは誤りであるならそれは繰り越さない fact10: 仮にこの公的制度はパーソンでないとすれば「その利益確保はよだつし加えて半べそだ」ということは成り立たない fact11: もし何かはとろくないなら「それは翻るということはないかそれはきついかあるいは両方だ」ということは誤りである fact12: あの経済問題は表記するが繰り越さない fact13: もし仮に「そのＴＯＴＯは翻るかまたはきつい」ということは成り立つということはないとするとこの大汗は覆い尽くす fact14: 「その伽羅は覆い尽くさない」ということは真実である fact15: 「そのＴＯＴＯは少ないということはないかまたは連想力だ」ということは嘘だ fact16: とろいということはない物は覆い尽くさない fact17: もし仮に「何らかのものはとろくない」ということは成り立つならそれは翻る fact18: そのＴＯＴＯは繰り越す fact19: なんらかの物は繰り越さないならば「翻らないかもしくはきついかあるいはどちらもである」ということは正しくない fact20: 「その基調は頼り無くないかもしくは返りらしいかまたは両方ともだ」ということは成り立たない fact21: そのＴＯＴＯは繰り越す一方でとろくない
fact11 -> int1: 仮にそのＴＯＴＯはとろくないなら「翻らないかきついかあるいはどちらもだ」ということは成り立たない; fact21 -> int2: そのＴＯＴＯはとろくない; int1 & int2 -> int3: 「そのＴＯＴＯは翻らないかまたはきついかあるいは両方ともだ」ということは成り立たない; int3 & fact5 -> hypothesis;
この大汗は覆い尽くさない
fact23 -> int4: この大汗がとろくないとしたらそれは覆い尽くさない; fact22 -> int5: もしもこの大汗が繰り越さないならばそれはとろくない; fact25 -> int6: もし仮に「この大汗は如才無くないししかも筆写しない」ということは嘘であるとするとそれは繰り越さない;
$facts$ = fact1: もし仮に何かは繰り越さないとしたらとろくない fact2: もしそのＴＯＴＯはきついということはないなら「それは翻らないかもしくは覆い尽くすかどちらもである」ということは成り立たない fact3: 仮にその子供期は半べそでないとすると「この大汗は如才無くなくて筆写しない」ということは成り立たない fact4: もし仮に「そのＴＯＴＯは覆い尽くさないかそれは翻るかまたは両方ともだ」ということは嘘であるとするとこの大汗はとろい fact5: もし仮に「そのＴＯＴＯは翻らないかあるいはきついかどちらもである」ということは成り立たないなら「この大汗は覆い尽くす」ということは成り立つ fact6: もし仮にとある物は翻らないとすると「覆い尽くすということはないかもしくはとろいかまたは両方である」ということは成り立たない fact7: そのＴＯＴＯは翻る fact8: 「もしもそのＴＯＴＯはとろくないとしたら「そのＴＯＴＯは翻る」ということは本当である」ということは正しい fact9: もし仮に「なんらかのものは如才無いということはなくて加えて筆写するということはない」ということは誤りであるならそれは繰り越さない fact10: 仮にこの公的制度はパーソンでないとすれば「その利益確保はよだつし加えて半べそだ」ということは成り立たない fact11: もし何かはとろくないなら「それは翻るということはないかそれはきついかあるいは両方だ」ということは誤りである fact12: あの経済問題は表記するが繰り越さない fact13: もし仮に「そのＴＯＴＯは翻るかまたはきつい」ということは成り立つということはないとするとこの大汗は覆い尽くす fact14: 「その伽羅は覆い尽くさない」ということは真実である fact15: 「そのＴＯＴＯは少ないということはないかまたは連想力だ」ということは嘘だ fact16: とろいということはない物は覆い尽くさない fact17: もし仮に「何らかのものはとろくない」ということは成り立つならそれは翻る fact18: そのＴＯＴＯは繰り越す fact19: なんらかの物は繰り越さないならば「翻らないかもしくはきついかあるいはどちらもである」ということは正しくない fact20: 「その基調は頼り無くないかもしくは返りらしいかまたは両方ともだ」ということは成り立たない fact21: そのＴＯＴＯは繰り越す一方でとろくない ; $hypothesis$ = この大汗は覆い尽くさない ; $proof$ = 
fact11 -> int1: 仮にそのＴＯＴＯはとろくないなら「翻らないかきついかあるいはどちらもだ」ということは成り立たない; fact21 -> int2: そのＴＯＴＯはとろくない; int1 & int2 -> int3: 「そのＴＯＴＯは翻らないかまたはきついかあるいは両方ともだ」ということは成り立たない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは繰り越さないとしたらとろくない
事実2: もしそのＴＯＴＯはきついということはないなら「それは翻らないかもしくは覆い尽くすかどちらもである」ということは成り立たない
事実3: 仮にその子供期は半べそでないとすると「この大汗は如才無くなくて筆写しない」ということは成り立たない
事実4: もし仮に「そのＴＯＴＯは覆い尽くさないかそれは翻るかまたは両方ともだ」ということは嘘であるとするとこの大汗はとろい
事実5: もし仮に「そのＴＯＴＯは翻らないかあるいはきついかどちらもである」ということは成り立たないなら「この大汗は覆い尽くす」ということは成り立つ
事実6: もし仮にとある物は翻らないとすると「覆い尽くすということはないかもしくはとろいかまたは両方である」ということは成り立たない
事実7: そのＴＯＴＯは翻る
事実8: 「もしもそのＴＯＴＯはとろくないとしたら「そのＴＯＴＯは翻る」ということは本当である」ということは正しい
事実9: もし仮に「なんらかのものは如才無いということはなくて加えて筆写するということはない」ということは誤りであるならそれは繰り越さない
事実10: 仮にこの公的制度はパーソンでないとすれば「その利益確保はよだつし加えて半べそだ」ということは成り立たない
事実11: もし何かはとろくないなら「それは翻るということはないかそれはきついかあるいは両方だ」ということは誤りである
事実12: あの経済問題は表記するが繰り越さない
事実13: もし仮に「そのＴＯＴＯは翻るかまたはきつい」ということは成り立つということはないとするとこの大汗は覆い尽くす
事実14: 「その伽羅は覆い尽くさない」ということは真実である
事実15: 「そのＴＯＴＯは少ないということはないかまたは連想力だ」ということは嘘だ
事実16: とろいということはない物は覆い尽くさない
事実17: もし仮に「何らかのものはとろくない」ということは成り立つならそれは翻る
事実18: そのＴＯＴＯは繰り越す
事実19: なんらかの物は繰り越さないならば「翻らないかもしくはきついかあるいはどちらもである」ということは正しくない
事実20: 「その基調は頼り無くないかもしくは返りらしいかまたは両方ともだ」ということは成り立たない
事実21: そのＴＯＴＯは繰り越す一方でとろくない

仮説: この大汗は覆い尽くさない
1. 事実11から、推論1: "仮にそのＴＯＴＯはとろくないなら「翻らないかきついかあるいはどちらもだ」ということは成り立たない"が導かれる
2. 事実21から、推論2: "そのＴＯＴＯはとろくない"が導かれる
3. 推論1と推論2から、推論3: "「そのＴＯＴＯは翻らないかまたはきついかあるいは両方ともだ」ということは成り立たない"が導かれる
4. 推論3と事実5から、仮説が否定される

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