「もしもその議会ビルがキャッシングでないとしたらこのマニラ首都圏は小児慢性疾患で加えてそれは赤キャベツである」ということは成り立たない
fact1: もしもこのページ記述言語が思想的根拠でないとするとこのマニラ首都圏は小児慢性疾患だ fact2: 嬉しくないものはなあくない fact3: もしこのページ記述言語がキャッシングだとすればその議会ビルは思想的根拠だがしかし戻し易くない fact4: その羽根ペンはなあくないならば「その台地は取っ付き難くないがそれは合併問題だ」ということは成り立たない fact5: その羽根ペンは嬉しくない fact6: もしその議会ビルがキャッシングだとすればこのマニラ首都圏は小児慢性疾患であるし赤キャベツだ fact7: もしも「なにかは取っ付き難くないけれどそれは合併問題だ」ということは真実でないとしたらそれは取っ付き難い fact8: このページ記述言語は思想的根拠である fact9: このページ記述言語はキャッシングである fact10: もし仮にあるものは小児慢性疾患でないならそれはキャッシングだがしかし戻し易くない fact11: もし「何らかのものは赤キャベツでない」ということは確かなら「キャッシングでないしその上小児慢性疾患でない」ということは成り立たない fact12: もしも「このマニラ首都圏はキャッシングであるけれどそれは赤キャベツであるということはない」ということは誤っているとしたらその議会ビルは思想的根拠である fact13: 仮に「「キャッシングでなくてその上小児慢性疾患でない」ということは事実と異なる」物があるならこのページ記述言語はキャッシングである fact14: このマニラ首都圏は赤キャベツである fact15: 仮にこの線維が戻し易くないとしたら赤キャベツであるしさらにそれは思想的根拠だ fact16: もしも「このページ記述言語は思想的根拠であるがそれは戻し易いということはない」ということは偽であるとするとこのマニラ首都圏は小児慢性疾患だ fact17: 「このページ記述言語はキャッシングである一方で赤キャベツでない」ということは成り立つということはないならこのマニラ首都圏は戻し易い fact18: もし仮にこのページ記述言語が戻し易くないならその議会ビルはキャッシングである fact19: もしその台地は取っ付き難いとすると「その備考欄はうら若くないかあるいは沸騰するということはないか両方ともだ」ということは偽である
void -> assump2: 以下のように仮定する。このページ記述言語は思想的根拠だが戻し易くない; assump2 -> int1: このページ記述言語は戻し易くない; int1 & fact18 -> int2: 「その議会ビルはキャッシングだ」ということは成り立つ; void -> assump1: 以下のように仮定する。その議会ビルはキャッシングでない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「このページ記述言語は思想的根拠であるけど戻し易いということはない」ということは誤りだ; int4 & fact16 -> int5: このマニラ首都圏は小児慢性疾患である; int5 & fact14 -> int6: このマニラ首都圏は小児慢性疾患であるし赤キャベツである; [assump1] & int6 -> hypothesis;
その議会ビルは思想的根拠である
fact21 -> int7: 仮にこのマニラ首都圏は赤キャベツでないとすれば「それはキャッシングでないし小児慢性疾患だということはない」ということは成り立たない; fact27 -> int8: もし「その台地は取っ付き難くないけどそれは合併問題だ」ということは正しくないならそれは取っ付き難い; fact25 -> int9: 仮に「その羽根ペンは嬉しくない」ということは正しいならばなあくない; int9 & fact23 -> int10: その羽根ペンはなあくない; fact26 & int10 -> int11: 「その台地は取っ付き難くないけれどそれは合併問題だ」ということは真実だということはない; int8 & int11 -> int12: その台地は取っ付き難い; fact24 & int12 -> int13: 「その備考欄はうら若くないかもしくは沸騰しないかあるいは両方だ」ということは成り立たない; int13 -> int14: 「「うら若くないか沸騰するということはないかあるいは両方である」ということは成り立たない」物はある;
$facts$ = fact1: もしもこのページ記述言語が思想的根拠でないとするとこのマニラ首都圏は小児慢性疾患だ fact2: 嬉しくないものはなあくない fact3: もしこのページ記述言語がキャッシングだとすればその議会ビルは思想的根拠だがしかし戻し易くない fact4: その羽根ペンはなあくないならば「その台地は取っ付き難くないがそれは合併問題だ」ということは成り立たない fact5: その羽根ペンは嬉しくない fact6: もしその議会ビルがキャッシングだとすればこのマニラ首都圏は小児慢性疾患であるし赤キャベツだ fact7: もしも「なにかは取っ付き難くないけれどそれは合併問題だ」ということは真実でないとしたらそれは取っ付き難い fact8: このページ記述言語は思想的根拠である fact9: このページ記述言語はキャッシングである fact10: もし仮にあるものは小児慢性疾患でないならそれはキャッシングだがしかし戻し易くない fact11: もし「何らかのものは赤キャベツでない」ということは確かなら「キャッシングでないしその上小児慢性疾患でない」ということは成り立たない fact12: もしも「このマニラ首都圏はキャッシングであるけれどそれは赤キャベツであるということはない」ということは誤っているとしたらその議会ビルは思想的根拠である fact13: 仮に「「キャッシングでなくてその上小児慢性疾患でない」ということは事実と異なる」物があるならこのページ記述言語はキャッシングである fact14: このマニラ首都圏は赤キャベツである fact15: 仮にこの線維が戻し易くないとしたら赤キャベツであるしさらにそれは思想的根拠だ fact16: もしも「このページ記述言語は思想的根拠であるがそれは戻し易いということはない」ということは偽であるとするとこのマニラ首都圏は小児慢性疾患だ fact17: 「このページ記述言語はキャッシングである一方で赤キャベツでない」ということは成り立つということはないならこのマニラ首都圏は戻し易い fact18: もし仮にこのページ記述言語が戻し易くないならその議会ビルはキャッシングである fact19: もしその台地は取っ付き難いとすると「その備考欄はうら若くないかあるいは沸騰するということはないか両方ともだ」ということは偽である ; $hypothesis$ = 「もしもその議会ビルがキャッシングでないとしたらこのマニラ首都圏は小児慢性疾患で加えてそれは赤キャベツである」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。このページ記述言語は思想的根拠だが戻し易くない; assump2 -> int1: このページ記述言語は戻し易くない; int1 & fact18 -> int2: 「その議会ビルはキャッシングだ」ということは成り立つ; void -> assump1: 以下のように仮定する。その議会ビルはキャッシングでない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「このページ記述言語は思想的根拠であるけど戻し易いということはない」ということは誤りだ; int4 & fact16 -> int5: このマニラ首都圏は小児慢性疾患である; int5 & fact14 -> int6: このマニラ首都圏は小児慢性疾患であるし赤キャベツである; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもこのページ記述言語が思想的根拠でないとするとこのマニラ首都圏は小児慢性疾患だ
事実2: 嬉しくないものはなあくない
事実3: もしこのページ記述言語がキャッシングだとすればその議会ビルは思想的根拠だがしかし戻し易くない
事実4: その羽根ペンはなあくないならば「その台地は取っ付き難くないがそれは合併問題だ」ということは成り立たない
事実5: その羽根ペンは嬉しくない
事実6: もしその議会ビルがキャッシングだとすればこのマニラ首都圏は小児慢性疾患であるし赤キャベツだ
事実7: もしも「なにかは取っ付き難くないけれどそれは合併問題だ」ということは真実でないとしたらそれは取っ付き難い
事実8: このページ記述言語は思想的根拠である
事実9: このページ記述言語はキャッシングである
事実10: もし仮にあるものは小児慢性疾患でないならそれはキャッシングだがしかし戻し易くない
事実11: もし「何らかのものは赤キャベツでない」ということは確かなら「キャッシングでないしその上小児慢性疾患でない」ということは成り立たない
事実12: もしも「このマニラ首都圏はキャッシングであるけれどそれは赤キャベツであるということはない」ということは誤っているとしたらその議会ビルは思想的根拠である
事実13: 仮に「「キャッシングでなくてその上小児慢性疾患でない」ということは事実と異なる」物があるならこのページ記述言語はキャッシングである
事実14: このマニラ首都圏は赤キャベツである
事実15: 仮にこの線維が戻し易くないとしたら赤キャベツであるしさらにそれは思想的根拠だ
事実16: もしも「このページ記述言語は思想的根拠であるがそれは戻し易いということはない」ということは偽であるとするとこのマニラ首都圏は小児慢性疾患だ
事実17: 「このページ記述言語はキャッシングである一方で赤キャベツでない」ということは成り立つということはないならこのマニラ首都圏は戻し易い
事実18: もし仮にこのページ記述言語が戻し易くないならその議会ビルはキャッシングである
事実19: もしその台地は取っ付き難いとすると「その備考欄はうら若くないかあるいは沸騰するということはないか両方ともだ」ということは偽である

仮説: 「もしもその議会ビルがキャッシングでないとしたらこのマニラ首都圏は小児慢性疾患で加えてそれは赤キャベツである」ということは成り立たない
1. 仮定2: 以下のように仮定する。このページ記述言語は思想的根拠だが戻し易くない
2. 仮定2から、推論1: "このページ記述言語は戻し易くない"が導かれる
3. 推論1と事実18から、推論2: "「その議会ビルはキャッシングだ」ということは成り立つ"が導かれる
4. 仮定1: 以下のように仮定する。その議会ビルはキャッシングでない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「このページ記述言語は思想的根拠であるけど戻し易いということはない」ということは誤りだ"が導かれる
7. 推論4と事実16から、推論5: "このマニラ首都圏は小児慢性疾患である"が導かれる
8. 推論5と事実14から、推論6: "このマニラ首都圏は小児慢性疾患であるし赤キャベツである"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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