「もしもこのサン大学が壊れ易いとするとあの流言は暴き出す」ということは誤っている
fact1: もしもあのロココ・ファッションが暴き出すとしたらあの流言はＮＡＴＯ軍である fact2: あの流言はプロ選手であるということはない fact3: 「あの流言は壊れ易くない」ということは成り立つ fact4: 「あのロココ・ファッションはＮＡＴＯ軍だがプロ選手でない」ということは偽である fact5: この汗腺はＮＡＴＯ軍である fact6: もしもあの流言が壊れ易いとしたらこのサン大学は暴き出す fact7: このインターラーケンは暴き出さないし覚束無いということはない fact8: もし仮にあのロココ・ファッションが壊れ易いとしたらこのサン大学はプロ選手だ fact9: 仮にあのロココ・ファッションがＮＡＴＯ軍だがそれがプロ選手でないならこのサン大学は壊れ易くない fact10: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくてしかもプロ選手でないならばこのサン大学は壊れ易くない fact11: もし仮にあのロココ・ファッションがＮＡＴＯ軍ならばあの流言は暴き出す fact12: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくて加えてプロ選手でないとすればこのサン大学は壊れ易い fact13: もしもあのロココ・ファッションが壊れ易くないしそれが暴き出さないならこのサン大学はＮＡＴＯ軍でない fact14: もし仮に「あのロココ・ファッションはＮＡＴＯ軍だということはなくて加えてプロ選手でない」ということは事実と異なるならあの流言は暴き出す fact15: もし「あの流言は壊れ易くないしプロ選手でない」ということは偽であるとしたらこのサン大学は暴き出す fact16: あの流言はＮＡＴＯ軍だ fact17: あのロココ・ファッションはＮＡＴＯ軍でない fact18: あのロココ・ファッションはＮＡＴＯ軍だということはないしかつ壊れ易くない fact19: もしもあのロココ・ファッションが暴き出せばあの流言はプロ選手である
void -> assump2: 以下のように仮定する。あのロココ・ファッションはＮＡＴＯ軍だということはなくてそれにプロ選手だということはない; fact10 & assump2 -> int1: このサン大学は壊れ易くない; void -> assump1: 以下のように仮定する。「このサン大学は壊れ易い」ということは間違いであるということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのロココ・ファッションはＮＡＴＯ軍でなくてしかもプロ選手だということはない」ということは成り立たない; int3 & fact14 -> int4: あの流言は暴き出す; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもあのロココ・ファッションが暴き出すとしたらあの流言はＮＡＴＯ軍である fact2: あの流言はプロ選手であるということはない fact3: 「あの流言は壊れ易くない」ということは成り立つ fact4: 「あのロココ・ファッションはＮＡＴＯ軍だがプロ選手でない」ということは偽である fact5: この汗腺はＮＡＴＯ軍である fact6: もしもあの流言が壊れ易いとしたらこのサン大学は暴き出す fact7: このインターラーケンは暴き出さないし覚束無いということはない fact8: もし仮にあのロココ・ファッションが壊れ易いとしたらこのサン大学はプロ選手だ fact9: 仮にあのロココ・ファッションがＮＡＴＯ軍だがそれがプロ選手でないならこのサン大学は壊れ易くない fact10: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくてしかもプロ選手でないならばこのサン大学は壊れ易くない fact11: もし仮にあのロココ・ファッションがＮＡＴＯ軍ならばあの流言は暴き出す fact12: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくて加えてプロ選手でないとすればこのサン大学は壊れ易い fact13: もしもあのロココ・ファッションが壊れ易くないしそれが暴き出さないならこのサン大学はＮＡＴＯ軍でない fact14: もし仮に「あのロココ・ファッションはＮＡＴＯ軍だということはなくて加えてプロ選手でない」ということは事実と異なるならあの流言は暴き出す fact15: もし「あの流言は壊れ易くないしプロ選手でない」ということは偽であるとしたらこのサン大学は暴き出す fact16: あの流言はＮＡＴＯ軍だ fact17: あのロココ・ファッションはＮＡＴＯ軍でない fact18: あのロココ・ファッションはＮＡＴＯ軍だということはないしかつ壊れ易くない fact19: もしもあのロココ・ファッションが暴き出せばあの流言はプロ選手である ; $hypothesis$ = 「もしもこのサン大学が壊れ易いとするとあの流言は暴き出す」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。あのロココ・ファッションはＮＡＴＯ軍だということはなくてそれにプロ選手だということはない; fact10 & assump2 -> int1: このサン大学は壊れ易くない; void -> assump1: 以下のように仮定する。「このサン大学は壊れ易い」ということは間違いであるということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのロココ・ファッションはＮＡＴＯ軍でなくてしかもプロ選手だということはない」ということは成り立たない; int3 & fact14 -> int4: あの流言は暴き出す; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもあのロココ・ファッションが暴き出すとしたらあの流言はＮＡＴＯ軍である
事実2: あの流言はプロ選手であるということはない
事実3: 「あの流言は壊れ易くない」ということは成り立つ
事実4: 「あのロココ・ファッションはＮＡＴＯ軍だがプロ選手でない」ということは偽である
事実5: この汗腺はＮＡＴＯ軍である
事実6: もしもあの流言が壊れ易いとしたらこのサン大学は暴き出す
事実7: このインターラーケンは暴き出さないし覚束無いということはない
事実8: もし仮にあのロココ・ファッションが壊れ易いとしたらこのサン大学はプロ選手だ
事実9: 仮にあのロココ・ファッションがＮＡＴＯ軍だがそれがプロ選手でないならこのサン大学は壊れ易くない
事実10: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくてしかもプロ選手でないならばこのサン大学は壊れ易くない
事実11: もし仮にあのロココ・ファッションがＮＡＴＯ軍ならばあの流言は暴き出す
事実12: 仮にあのロココ・ファッションがＮＡＴＯ軍でなくて加えてプロ選手でないとすればこのサン大学は壊れ易い
事実13: もしもあのロココ・ファッションが壊れ易くないしそれが暴き出さないならこのサン大学はＮＡＴＯ軍でない
事実14: もし仮に「あのロココ・ファッションはＮＡＴＯ軍だということはなくて加えてプロ選手でない」ということは事実と異なるならあの流言は暴き出す
事実15: もし「あの流言は壊れ易くないしプロ選手でない」ということは偽であるとしたらこのサン大学は暴き出す
事実16: あの流言はＮＡＴＯ軍だ
事実17: あのロココ・ファッションはＮＡＴＯ軍でない
事実18: あのロココ・ファッションはＮＡＴＯ軍だということはないしかつ壊れ易くない
事実19: もしもあのロココ・ファッションが暴き出せばあの流言はプロ選手である

仮説: 「もしもこのサン大学が壊れ易いとするとあの流言は暴き出す」ということは誤っている
1. 仮定2: 以下のように仮定する。あのロココ・ファッションはＮＡＴＯ軍だということはなくてそれにプロ選手だということはない
2. 事実10と仮定2から、推論1: "このサン大学は壊れ易くない"が導かれる
3. 仮定1: 以下のように仮定する。「このサン大学は壊れ易い」ということは間違いであるということはない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あのロココ・ファッションはＮＡＴＯ軍でなくてしかもプロ選手だということはない」ということは成り立たない"が導かれる
6. 推論3と事実14から、推論4: "あの流言は暴き出す"が導かれる
7. [仮定1]と推論4から、仮説が否定される

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