このポップアップカレンダーは区別し易くない
fact1: この用品は区別し易い fact2: 仮に「この配分割合は閘門だ」ということは確かであるとしたらこのポップアップカレンダーは抜き難い fact3: この配分割合は区別し易いとすると「このポップアップカレンダーは閘門である」ということは事実である fact4: もしも「なんらかの物は抜き難くて区別し易い」ということは偽であるとしたら「区別し易くない」ということは本当である fact5: もし「「区別し易くない一方で閘門だ」ということは間違いな」ものがあるならこの配分割合は抜き難い fact6: この配分割合は抜き難い fact7: もし仮にあの御告げは頼み難いけど誘発し易くないならば「このアメリカ兵は扱い易くない」ということは間違っていない fact8: もしなにがしかのものは音調でないとすれば「それは区別し易くないしかつそれは閘門だ」ということは成り立たない fact9: もしこのポップアップカレンダーが抜き難いとすれば区別し易い fact10: 「この配分割合は閘門である」ということは成り立つ fact11: もしなにがしかのものは中学校卒業者でないとしたらそれは受け辛くてそれに二千四百人である fact12: この各隊は区別し易い fact13: すべては厳めしくらないしさらに不動産業である fact14: 仮に「なにかは音調であるしその上しぶとい」ということは成り立たないとしたら「それは音調だ」ということは間違いである fact15: この配分割合は誘発し易い fact16: もしも「あの林檎ちゃんは厳めしくらない」ということは間違っているということはないならあの御告げは中学校卒業者でない fact17: もしこの配分割合が抜き難いとするとこの基本指針は閘門だ fact18: 仮に抜き難くないものが閘門でないとすればそれは区別し易くない fact19: 受け辛い物は頼み難いがしかし誘発し易くない fact20: 仮にこのアメリカ兵は扱い易いということはないとしたら「「このポップアップカレンダーは音調でかつそれはしぶとい」ということは成り立つ」ということは成り立つということはない
fact2 & fact10 -> int1: 「このポップアップカレンダーは抜き難い」ということは正しい; int1 & fact9 -> hypothesis;
この基本指針は閘門である
$facts$ = fact1: この用品は区別し易い fact2: 仮に「この配分割合は閘門だ」ということは確かであるとしたらこのポップアップカレンダーは抜き難い fact3: この配分割合は区別し易いとすると「このポップアップカレンダーは閘門である」ということは事実である fact4: もしも「なんらかの物は抜き難くて区別し易い」ということは偽であるとしたら「区別し易くない」ということは本当である fact5: もし「「区別し易くない一方で閘門だ」ということは間違いな」ものがあるならこの配分割合は抜き難い fact6: この配分割合は抜き難い fact7: もし仮にあの御告げは頼み難いけど誘発し易くないならば「このアメリカ兵は扱い易くない」ということは間違っていない fact8: もしなにがしかのものは音調でないとすれば「それは区別し易くないしかつそれは閘門だ」ということは成り立たない fact9: もしこのポップアップカレンダーが抜き難いとすれば区別し易い fact10: 「この配分割合は閘門である」ということは成り立つ fact11: もしなにがしかのものは中学校卒業者でないとしたらそれは受け辛くてそれに二千四百人である fact12: この各隊は区別し易い fact13: すべては厳めしくらないしさらに不動産業である fact14: 仮に「なにかは音調であるしその上しぶとい」ということは成り立たないとしたら「それは音調だ」ということは間違いである fact15: この配分割合は誘発し易い fact16: もしも「あの林檎ちゃんは厳めしくらない」ということは間違っているということはないならあの御告げは中学校卒業者でない fact17: もしこの配分割合が抜き難いとするとこの基本指針は閘門だ fact18: 仮に抜き難くないものが閘門でないとすればそれは区別し易くない fact19: 受け辛い物は頼み難いがしかし誘発し易くない fact20: 仮にこのアメリカ兵は扱い易いということはないとしたら「「このポップアップカレンダーは音調でかつそれはしぶとい」ということは成り立つ」ということは成り立つということはない ; $hypothesis$ = このポップアップカレンダーは区別し易くない ; $proof$ = 
fact2 & fact10 -> int1: 「このポップアップカレンダーは抜き難い」ということは正しい; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: この用品は区別し易い
事実2: 仮に「この配分割合は閘門だ」ということは確かであるとしたらこのポップアップカレンダーは抜き難い
事実3: この配分割合は区別し易いとすると「このポップアップカレンダーは閘門である」ということは事実である
事実4: もしも「なんらかの物は抜き難くて区別し易い」ということは偽であるとしたら「区別し易くない」ということは本当である
事実5: もし「「区別し易くない一方で閘門だ」ということは間違いな」ものがあるならこの配分割合は抜き難い
事実6: この配分割合は抜き難い
事実7: もし仮にあの御告げは頼み難いけど誘発し易くないならば「このアメリカ兵は扱い易くない」ということは間違っていない
事実8: もしなにがしかのものは音調でないとすれば「それは区別し易くないしかつそれは閘門だ」ということは成り立たない
事実9: もしこのポップアップカレンダーが抜き難いとすれば区別し易い
事実10: 「この配分割合は閘門である」ということは成り立つ
事実11: もしなにがしかのものは中学校卒業者でないとしたらそれは受け辛くてそれに二千四百人である
事実12: この各隊は区別し易い
事実13: すべては厳めしくらないしさらに不動産業である
事実14: 仮に「なにかは音調であるしその上しぶとい」ということは成り立たないとしたら「それは音調だ」ということは間違いである
事実15: この配分割合は誘発し易い
事実16: もしも「あの林檎ちゃんは厳めしくらない」ということは間違っているということはないならあの御告げは中学校卒業者でない
事実17: もしこの配分割合が抜き難いとするとこの基本指針は閘門だ
事実18: 仮に抜き難くないものが閘門でないとすればそれは区別し易くない
事実19: 受け辛い物は頼み難いがしかし誘発し易くない
事実20: 仮にこのアメリカ兵は扱い易いということはないとしたら「「このポップアップカレンダーは音調でかつそれはしぶとい」ということは成り立つ」ということは成り立つということはない

仮説: このポップアップカレンダーは区別し易くない
1. 事実2と事実10から、推論1: "「このポップアップカレンダーは抜き難い」ということは正しい"が導かれる
2. 推論1と事実9から、仮説が否定される

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