「そのページ記述言語は読み易い一方で預かり金でない」ということは成り立たない
fact1: もし仮にそのページ記述言語は不祥事件であるとしたら「それは凛とするか配分するということはないかどちらもである」ということは成り立たない fact2: もしもそのページ記述言語が推移すればそれは読み易い fact3: 「そのページ記述言語は御出で頂く」ということは成り立つ fact4: 何らかのものが手渡さないかもしくはそれが倒れ難くないならばそれは手渡さない fact5: もし仮にそのページ記述言語は許可であるとするとそれはＣ社である fact6: あの酢適量は御出で頂く fact7: もしそのページ記述言語は手渡さないとすると「それはまったりするがしかし愛くるしくない」ということは本当だ fact8: そのページ記述言語はボートダイブであるかまたは引き合わないかあるいはどちらもだ fact9: そのページ記述言語は心深し fact10: なんらかのものはまったりするとしたら「預かり金でなくてそれは不祥事件だ」ということは誤りだ fact11: そのページ記述言語が預かり金だとすると御出で頂く fact12: そのページ記述言語は凛とするか御出で頂くということはない fact13: そのページ記述言語は読み易い fact14: 「その従業員規模は読み易い」ということは成り立つ fact15: あの零ＸＦＦは凛とする fact16: 「なにがしかの物は預かり金だ」ということは確かであるとすると「凛とするか御出で頂かないか両方である」ということは成り立つということはない fact17: 「読み易いものは御出で頂く」ということは本当である fact18: もし仮にとある物はまったりするが愛くるしくないなら不祥事件でない fact19: もしこの清掃はポータルであるなら危ない fact20: 「そのページ記述言語はエキゾティシズムだ」ということは確かだ fact21: もしも何らかのものは預かり金であるとしたらそれは読み易い fact22: もしもあの法規制がまったりするとすればこの五：零零ＰＭはまったりする fact23: そのページ記述言語は可溶性固形物含量だ
fact16 -> int1: そのページ記述言語は預かり金だとしたら「それは凛とするかもしくは御出で頂くということはないかあるいは両方である」ということは間違いである; void -> assump1: 以下のように仮定する。そのページ記述言語は預かり金だ; int1 & assump1 -> int2: 「そのページ記述言語は凛とするかあるいは御出で頂かないかあるいはどちらもである」ということは成り立たない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのページ記述言語は預かり金だということはない; int4 & fact13 -> hypothesis;
「そのページ記述言語は読み易いけど預かり金でない」ということは確かでない
fact26 -> 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: もしも何らかのものは預かり金であるとしたらそれは読み易い fact22: もしもあの法規制がまったりするとすればこの五：零零ＰＭはまったりする fact23: そのページ記述言語は可溶性固形物含量だ ; $hypothesis$ = 「そのページ記述言語は読み易い一方で預かり金でない」ということは成り立たない ; $proof$ = 
fact16 -> int1: そのページ記述言語は預かり金だとしたら「それは凛とするかもしくは御出で頂くということはないかあるいは両方である」ということは間違いである; void -> assump1: 以下のように仮定する。そのページ記述言語は預かり金だ; int1 & assump1 -> int2: 「そのページ記述言語は凛とするかあるいは御出で頂かないかあるいはどちらもである」ということは成り立たない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのページ記述言語は預かり金だということはない; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にそのページ記述言語は不祥事件であるとしたら「それは凛とするか配分するということはないかどちらもである」ということは成り立たない
事実2: もしもそのページ記述言語が推移すればそれは読み易い
事実3: 「そのページ記述言語は御出で頂く」ということは成り立つ
事実4: 何らかのものが手渡さないかもしくはそれが倒れ難くないならばそれは手渡さない
事実5: もし仮にそのページ記述言語は許可であるとするとそれはＣ社である
事実6: あの酢適量は御出で頂く
事実7: もしそのページ記述言語は手渡さないとすると「それはまったりするがしかし愛くるしくない」ということは本当だ
事実8: そのページ記述言語はボートダイブであるかまたは引き合わないかあるいはどちらもだ
事実9: そのページ記述言語は心深し
事実10: なんらかのものはまったりするとしたら「預かり金でなくてそれは不祥事件だ」ということは誤りだ
事実11: そのページ記述言語が預かり金だとすると御出で頂く
事実12: そのページ記述言語は凛とするか御出で頂くということはない
事実13: そのページ記述言語は読み易い
事実14: 「その従業員規模は読み易い」ということは成り立つ
事実15: あの零ＸＦＦは凛とする
事実16: 「なにがしかの物は預かり金だ」ということは確かであるとすると「凛とするか御出で頂かないか両方である」ということは成り立つということはない
事実17: 「読み易いものは御出で頂く」ということは本当である
事実18: もし仮にとある物はまったりするが愛くるしくないなら不祥事件でない
事実19: もしこの清掃はポータルであるなら危ない
事実20: 「そのページ記述言語はエキゾティシズムだ」ということは確かだ
事実21: もしも何らかのものは預かり金であるとしたらそれは読み易い
事実22: もしもあの法規制がまったりするとすればこの五：零零ＰＭはまったりする
事実23: そのページ記述言語は可溶性固形物含量だ

仮説: 「そのページ記述言語は読み易い一方で預かり金でない」ということは成り立たない
1. 事実16から、推論1: "そのページ記述言語は預かり金だとしたら「それは凛とするかもしくは御出で頂くということはないかあるいは両方である」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。そのページ記述言語は預かり金だ
3. 推論1と仮定1から、推論2: "「そのページ記述言語は凛とするかあるいは御出で頂かないかあるいはどちらもである」ということは成り立たない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのページ記述言語は預かり金だということはない"が導かれる
6. 推論4と事実13から、仮説が否定される

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