「このＩ書店は来辛いかまたは判別し易くない」ということは成り立たない
fact1: もしその天皇・朝廷は海王でないとすると「木目細かくて汚れ難い」ということは嘘である fact2: その天皇・朝廷は木目細かいということはないけれどそれは汚れ難い fact3: もし「「「場限りでないがしかし睦まじい」ということは真実だ」ということは間違いである」物があるならその天皇・朝廷は掌握する fact4: なにがしかのものが取り消せるとすればそれは痴呆性高齢者グループホームでない fact5: あの売り上げ金額は個人教師だ fact6: このＩ書店は来辛いかそれは判別し易い fact7: 気付き易い物は来辛いということはないし判別し易くない fact8: 「その天皇・朝廷は木目細かいということはない」ということは成り立つ fact9: もし仮に「その天皇・朝廷は海王でない」ということは成り立つとしたら「木目細かくないしさらに汚れ難い」ということは事実と異なる fact10: このＩ書店が来辛くないしその上判別し易くないならばその天皇・朝廷は来辛くない fact11: 仮にある物は留学するけど罹患し易くないとしたら取り消せる fact12: 「「その天皇・朝廷は木目細かいし汚れ難い」ということは本当である」ということは誤りである fact13: もしなにかは掌握するとすれば「気付き易くないしそれは温い」ということは嘘だ fact14: 「もしも何らかのものは痴呆性高齢者グループホームだということはないなら「この茶色は場限りだということはないけれど睦まじい」ということは嘘である」ということは正しい fact15: とあるものは海王でないなら「来辛いかもしくは判別し易くないかまたはどちらもである」ということは事実でない fact16: もし仮にその天皇・朝廷が海王ならば来辛い fact17: あの売り上げ金額が個人教師であるとするとこのケチュア語は農業粗生産額だ fact18: その天皇・朝廷が来辛いとしたらこのＩ書店は来辛いかあるいは判別し易い fact19: もし仮にあるものが農業粗生産額だとしたらそれは留学するけど罹患し易くない fact20: この茶色は掌握しないがしかしそれは温い fact21: もしもその天皇・朝廷が来辛いとするとこのＩ書店は来辛いかもしくは判別し易くない fact22: このＩ書店は爺いでない一方で組織検査である
void -> assump1: 以下のように仮定する。その天皇・朝廷は海王であるということはない; fact9 & assump1 -> int1: 「その天皇・朝廷は木目細かくないがしかしそれは汚れ難い」ということは間違いだ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その天皇・朝廷は海王である」ということは正しい; int3 & fact16 -> int4: その天皇・朝廷は来辛い; int4 & fact21 -> hypothesis;
「このＩ書店は来辛いかあるいはそれは判別し易くないかまたはどちらもである」ということは成り立たない
fact27 -> int5: もし仮にこのＩ書店は海王でないなら「来辛いかあるいは判別し易くない」ということは事実と異なる; fact26 -> int6: その天皇・朝廷は掌握するとしたら「それは気付き易くないしそれは温い」ということは嘘である; fact23 -> int7: もし仮にこのケチュア語は取り消せるとしたら「痴呆性高齢者グループホームでない」ということは成り立つ; fact29 -> int8: もしもこのケチュア語は留学するけれど罹患し易いということはないとすればそれは取り消せる; fact24 -> int9: もしこのケチュア語が農業粗生産額だとするとそれは留学するしそれは罹患し易くない; fact30 & fact31 -> int10: このケチュア語は農業粗生産額だ; int9 & int10 -> int11: このケチュア語は留学するが罹患し易くない; int8 & int11 -> int12: このケチュア語は取り消せる; int7 & int12 -> int13: このケチュア語は痴呆性高齢者グループホームでない; int13 -> int14: なにがしかの物は痴呆性高齢者グループホームでない; int14 & fact25 -> int15: 「この茶色は場限りでない一方で睦まじい」ということは成り立たない; int15 -> int16: 「「場限りでないがしかし睦まじい」ということは成り立たない」物はある; int16 & fact28 -> int17: その天皇・朝廷は掌握する; int6 & int17 -> int18: 「その天皇・朝廷は気付き易くない一方で温い」ということは誤りだ; int18 -> int19: 「「気付き易いということはないがしかし温い」ということは間違いな」物はある;
$facts$ = fact1: もしその天皇・朝廷は海王でないとすると「木目細かくて汚れ難い」ということは嘘である fact2: その天皇・朝廷は木目細かいということはないけれどそれは汚れ難い fact3: もし「「「場限りでないがしかし睦まじい」ということは真実だ」ということは間違いである」物があるならその天皇・朝廷は掌握する fact4: なにがしかのものが取り消せるとすればそれは痴呆性高齢者グループホームでない fact5: あの売り上げ金額は個人教師だ fact6: このＩ書店は来辛いかそれは判別し易い fact7: 気付き易い物は来辛いということはないし判別し易くない fact8: 「その天皇・朝廷は木目細かいということはない」ということは成り立つ fact9: もし仮に「その天皇・朝廷は海王でない」ということは成り立つとしたら「木目細かくないしさらに汚れ難い」ということは事実と異なる fact10: このＩ書店が来辛くないしその上判別し易くないならばその天皇・朝廷は来辛くない fact11: 仮にある物は留学するけど罹患し易くないとしたら取り消せる fact12: 「「その天皇・朝廷は木目細かいし汚れ難い」ということは本当である」ということは誤りである fact13: もしなにかは掌握するとすれば「気付き易くないしそれは温い」ということは嘘だ fact14: 「もしも何らかのものは痴呆性高齢者グループホームだということはないなら「この茶色は場限りだということはないけれど睦まじい」ということは嘘である」ということは正しい fact15: とあるものは海王でないなら「来辛いかもしくは判別し易くないかまたはどちらもである」ということは事実でない fact16: もし仮にその天皇・朝廷が海王ならば来辛い fact17: あの売り上げ金額が個人教師であるとするとこのケチュア語は農業粗生産額だ fact18: その天皇・朝廷が来辛いとしたらこのＩ書店は来辛いかあるいは判別し易い fact19: もし仮にあるものが農業粗生産額だとしたらそれは留学するけど罹患し易くない fact20: この茶色は掌握しないがしかしそれは温い fact21: もしもその天皇・朝廷が来辛いとするとこのＩ書店は来辛いかもしくは判別し易くない fact22: このＩ書店は爺いでない一方で組織検査である ; $hypothesis$ = 「このＩ書店は来辛いかまたは判別し易くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その天皇・朝廷は海王であるということはない; fact9 & assump1 -> int1: 「その天皇・朝廷は木目細かくないがしかしそれは汚れ難い」ということは間違いだ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その天皇・朝廷は海王である」ということは正しい; int3 & fact16 -> int4: その天皇・朝廷は来辛い; int4 & fact21 -> hypothesis; __DISPROVED__
事実1: もしその天皇・朝廷は海王でないとすると「木目細かくて汚れ難い」ということは嘘である
事実2: その天皇・朝廷は木目細かいということはないけれどそれは汚れ難い
事実3: もし「「「場限りでないがしかし睦まじい」ということは真実だ」ということは間違いである」物があるならその天皇・朝廷は掌握する
事実4: なにがしかのものが取り消せるとすればそれは痴呆性高齢者グループホームでない
事実5: あの売り上げ金額は個人教師だ
事実6: このＩ書店は来辛いかそれは判別し易い
事実7: 気付き易い物は来辛いということはないし判別し易くない
事実8: 「その天皇・朝廷は木目細かいということはない」ということは成り立つ
事実9: もし仮に「その天皇・朝廷は海王でない」ということは成り立つとしたら「木目細かくないしさらに汚れ難い」ということは事実と異なる
事実10: このＩ書店が来辛くないしその上判別し易くないならばその天皇・朝廷は来辛くない
事実11: 仮にある物は留学するけど罹患し易くないとしたら取り消せる
事実12: 「「その天皇・朝廷は木目細かいし汚れ難い」ということは本当である」ということは誤りである
事実13: もしなにかは掌握するとすれば「気付き易くないしそれは温い」ということは嘘だ
事実14: 「もしも何らかのものは痴呆性高齢者グループホームだということはないなら「この茶色は場限りだということはないけれど睦まじい」ということは嘘である」ということは正しい
事実15: とあるものは海王でないなら「来辛いかもしくは判別し易くないかまたはどちらもである」ということは事実でない
事実16: もし仮にその天皇・朝廷が海王ならば来辛い
事実17: あの売り上げ金額が個人教師であるとするとこのケチュア語は農業粗生産額だ
事実18: その天皇・朝廷が来辛いとしたらこのＩ書店は来辛いかあるいは判別し易い
事実19: もし仮にあるものが農業粗生産額だとしたらそれは留学するけど罹患し易くない
事実20: この茶色は掌握しないがしかしそれは温い
事実21: もしもその天皇・朝廷が来辛いとするとこのＩ書店は来辛いかもしくは判別し易くない
事実22: このＩ書店は爺いでない一方で組織検査である

仮説: 「このＩ書店は来辛いかまたは判別し易くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その天皇・朝廷は海王であるということはない
2. 事実9と仮定1から、推論1: "「その天皇・朝廷は木目細かくないがしかしそれは汚れ難い」ということは間違いだ"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その天皇・朝廷は海王である」ということは正しい"が導かれる
5. 推論3と事実16から、推論4: "その天皇・朝廷は来辛い"が導かれる
6. 推論4と事実21から、仮説が否定される

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