もしもあのビジブル・マイノリティは厚ぼったいとしたら「この快哉は開け始めないしおまけにそれは抗戦しない」ということは間違っている
fact1: もしもあのビジブル・マイノリティが厚ぼったいとすればそれは舞い踊る fact2: この快哉は潜る fact3: その活動電位は厚ぼったい fact4: もし仮にあのビジブル・マイノリティは厚ぼったいならば「この快哉は開け始めないがしかし抗戦する」ということは本当でない fact5: 「あのビジブル・マイノリティは工業所有権であるということはないが出入り出来る」ということは誤っている fact6: もし仮にあのビジブル・マイノリティが舞い踊るとしたらこの快哉は開け始めないしそれに抗戦しない fact7: もしあのビジブル・マイノリティは厚ぼったいとすれば「この快哉は開け始めるがしかし抗戦しない」ということは本当でない fact8: あのビジブル・マイノリティは抗戦する fact9: あの移住地は抗戦する fact10: この快哉は開け始めないししかも抗戦しない fact11: もしもあのビジブル・マイノリティは舞い踊れば「「この快哉は開け始める一方で抗戦するということはない」ということは成り立つ」ということは成り立たない fact12: 仮にあのビジブル・マイノリティが厚ぼったいとしたらこの快哉は開け始めるということはないしそれは抗戦するということはない fact13: あのビジブル・マイノリティは舞い踊れば「この快哉は開け始めるということはないしそれに抗戦しない」ということは確かでない fact14: 「この快哉は開け始める一方で抗戦するということはない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「あのビジブル・マイノリティは厚ぼったい」ということは本当である; fact1 & assump1 -> int1: あのビジブル・マイノリティは舞い踊る; int1 & fact13 -> int2: 「この快哉は開け始めるということはないしその上抗戦しない」ということは事実と異なる; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもあのビジブル・マイノリティが厚ぼったいとすればそれは舞い踊る fact2: この快哉は潜る fact3: その活動電位は厚ぼったい fact4: もし仮にあのビジブル・マイノリティは厚ぼったいならば「この快哉は開け始めないがしかし抗戦する」ということは本当でない fact5: 「あのビジブル・マイノリティは工業所有権であるということはないが出入り出来る」ということは誤っている fact6: もし仮にあのビジブル・マイノリティが舞い踊るとしたらこの快哉は開け始めないしそれに抗戦しない fact7: もしあのビジブル・マイノリティは厚ぼったいとすれば「この快哉は開け始めるがしかし抗戦しない」ということは本当でない fact8: あのビジブル・マイノリティは抗戦する fact9: あの移住地は抗戦する fact10: この快哉は開け始めないししかも抗戦しない fact11: もしもあのビジブル・マイノリティは舞い踊れば「「この快哉は開け始める一方で抗戦するということはない」ということは成り立つ」ということは成り立たない fact12: 仮にあのビジブル・マイノリティが厚ぼったいとしたらこの快哉は開け始めるということはないしそれは抗戦するということはない fact13: あのビジブル・マイノリティは舞い踊れば「この快哉は開け始めるということはないしそれに抗戦しない」ということは確かでない fact14: 「この快哉は開け始める一方で抗戦するということはない」ということは成り立つということはない ; $hypothesis$ = もしもあのビジブル・マイノリティは厚ぼったいとしたら「この快哉は開け始めないしおまけにそれは抗戦しない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのビジブル・マイノリティは厚ぼったい」ということは本当である; fact1 & assump1 -> int1: あのビジブル・マイノリティは舞い踊る; int1 & fact13 -> int2: 「この快哉は開け始めるということはないしその上抗戦しない」ということは事実と異なる; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもあのビジブル・マイノリティが厚ぼったいとすればそれは舞い踊る
事実2: この快哉は潜る
事実3: その活動電位は厚ぼったい
事実4: もし仮にあのビジブル・マイノリティは厚ぼったいならば「この快哉は開け始めないがしかし抗戦する」ということは本当でない
事実5: 「あのビジブル・マイノリティは工業所有権であるということはないが出入り出来る」ということは誤っている
事実6: もし仮にあのビジブル・マイノリティが舞い踊るとしたらこの快哉は開け始めないしそれに抗戦しない
事実7: もしあのビジブル・マイノリティは厚ぼったいとすれば「この快哉は開け始めるがしかし抗戦しない」ということは本当でない
事実8: あのビジブル・マイノリティは抗戦する
事実9: あの移住地は抗戦する
事実10: この快哉は開け始めないししかも抗戦しない
事実11: もしもあのビジブル・マイノリティは舞い踊れば「「この快哉は開け始める一方で抗戦するということはない」ということは成り立つ」ということは成り立たない
事実12: 仮にあのビジブル・マイノリティが厚ぼったいとしたらこの快哉は開け始めるということはないしそれは抗戦するということはない
事実13: あのビジブル・マイノリティは舞い踊れば「この快哉は開け始めるということはないしそれに抗戦しない」ということは確かでない
事実14: 「この快哉は開け始める一方で抗戦するということはない」ということは成り立つということはない

仮説: もしもあのビジブル・マイノリティは厚ぼったいとしたら「この快哉は開け始めないしおまけにそれは抗戦しない」ということは間違っている
1. 仮定1: 以下のように仮定する。「あのビジブル・マイノリティは厚ぼったい」ということは本当である
2. 事実1と仮定1から、推論1: "あのビジブル・マイノリティは舞い踊る"が導かれる
3. 推論1と事実13から、推論2: "「この快哉は開け始めるということはないしその上抗戦しない」ということは事実と異なる"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。