この一般サマナは知り難くない
fact1: その同州はテーゼであるかまたは回折するかまたは両方ともだ fact2: もしもその同州が回折するとしたらこの一般サマナは知り難し fact3: 仮に「とあるものは知り難しけれど回折しない」ということは間違っているとすればそれは知り難しということはない fact4: そのマルトース発酵はテーゼだ fact5: もし仮に「なにかは表見代表取り締まり役だけれどテーゼでない」ということは成り立つということはないとすればそれはテーゼだ fact6: もしもその同州は第八図でないならば農耕地であるし売り飛ばす fact7: この赤海老は意義深いか抜き難いかあるいはどちらもだ fact8: この一般サマナは知り難しかそれは回折するかもしくはどちらもだ fact9: もしもとある物が売り飛ばせばキータイプしないししかもしかつめらしくない fact10: この一般サマナは回折するかまたは知り難しか両方だ fact11: もし何らかのものは回折するということはないけれどテーゼならばそれは知り難くない fact12: もしもその同州がキータイプしないしそれにしかつめらしいということはないとすればこの一般サマナはしかつめらしくない fact13: もしもその同州は回折するとすれば「この一般サマナはテーゼだ」ということは成り立つ fact14: もし仮にその同州はテーゼであるとすると「この一般サマナは知り難し」ということは本当だ fact15: もしこの一般サマナはしかつめらしくないとしたら「表見代表取り締まり役だし加えてテーゼでない」ということは成り立たない fact16: もし仮になんらかの物はテーゼだとしたら「知り難しけど回折しない」ということは嘘である fact17: もし仮に「その同州は知り難し」ということは成り立つとするとこの一般サマナは回折する fact18: もしもこの一般サマナが知り難しならばあの同州は泥臭い
fact1 & fact14 & fact2 -> hypothesis;
fact1 & fact14 & fact2 -> hypothesis;
この一般サマナは知り難くない
fact20 -> int1: もし「この一般サマナは知り難しけど回折しない」ということは成り立つということはないとすれば「知り難くない」ということは成り立つ; fact25 -> int2: この一般サマナはテーゼだとしたら「知り難くて回折しない」ということは偽だ; fact24 -> int3: もし「この一般サマナは表見代表取り締まり役である一方でそれはテーゼでない」ということは真実でないとしたらそれはテーゼだ; fact21 -> int4: もしもその同州が売り飛ばすとすればキータイプしないしさらにしかつめらしくない;
$facts$ = fact1: その同州はテーゼであるかまたは回折するかまたは両方ともだ fact2: もしもその同州が回折するとしたらこの一般サマナは知り難し fact3: 仮に「とあるものは知り難しけれど回折しない」ということは間違っているとすればそれは知り難しということはない fact4: そのマルトース発酵はテーゼだ fact5: もし仮に「なにかは表見代表取り締まり役だけれどテーゼでない」ということは成り立つということはないとすればそれはテーゼだ fact6: もしもその同州は第八図でないならば農耕地であるし売り飛ばす fact7: この赤海老は意義深いか抜き難いかあるいはどちらもだ fact8: この一般サマナは知り難しかそれは回折するかもしくはどちらもだ fact9: もしもとある物が売り飛ばせばキータイプしないししかもしかつめらしくない fact10: この一般サマナは回折するかまたは知り難しか両方だ fact11: もし何らかのものは回折するということはないけれどテーゼならばそれは知り難くない fact12: もしもその同州がキータイプしないしそれにしかつめらしいということはないとすればこの一般サマナはしかつめらしくない fact13: もしもその同州は回折するとすれば「この一般サマナはテーゼだ」ということは成り立つ fact14: もし仮にその同州はテーゼであるとすると「この一般サマナは知り難し」ということは本当だ fact15: もしこの一般サマナはしかつめらしくないとしたら「表見代表取り締まり役だし加えてテーゼでない」ということは成り立たない fact16: もし仮になんらかの物はテーゼだとしたら「知り難しけど回折しない」ということは嘘である fact17: もし仮に「その同州は知り難し」ということは成り立つとするとこの一般サマナは回折する fact18: もしもこの一般サマナが知り難しならばあの同州は泥臭い ; $hypothesis$ = この一般サマナは知り難くない ; $proof$ = 
fact1 & fact14 & fact2 -> hypothesis; __DISPROVED__
事実1: その同州はテーゼであるかまたは回折するかまたは両方ともだ
事実2: もしもその同州が回折するとしたらこの一般サマナは知り難し
事実3: 仮に「とあるものは知り難しけれど回折しない」ということは間違っているとすればそれは知り難しということはない
事実4: そのマルトース発酵はテーゼだ
事実5: もし仮に「なにかは表見代表取り締まり役だけれどテーゼでない」ということは成り立つということはないとすればそれはテーゼだ
事実6: もしもその同州は第八図でないならば農耕地であるし売り飛ばす
事実7: この赤海老は意義深いか抜き難いかあるいはどちらもだ
事実8: この一般サマナは知り難しかそれは回折するかもしくはどちらもだ
事実9: もしもとある物が売り飛ばせばキータイプしないししかもしかつめらしくない
事実10: この一般サマナは回折するかまたは知り難しか両方だ
事実11: もし何らかのものは回折するということはないけれどテーゼならばそれは知り難くない
事実12: もしもその同州がキータイプしないしそれにしかつめらしいということはないとすればこの一般サマナはしかつめらしくない
事実13: もしもその同州は回折するとすれば「この一般サマナはテーゼだ」ということは成り立つ
事実14: もし仮にその同州はテーゼであるとすると「この一般サマナは知り難し」ということは本当だ
事実15: もしこの一般サマナはしかつめらしくないとしたら「表見代表取り締まり役だし加えてテーゼでない」ということは成り立たない
事実16: もし仮になんらかの物はテーゼだとしたら「知り難しけど回折しない」ということは嘘である
事実17: もし仮に「その同州は知り難し」ということは成り立つとするとこの一般サマナは回折する
事実18: もしもこの一般サマナが知り難しならばあの同州は泥臭い

仮説: この一般サマナは知り難くない
1. 事実1と事実14と事実2から、仮説が否定される

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