もしも「このフレームウィンドウはＶＳでない」ということは成り立てばそのレンタルサーバは不完全さであるがしかしそれはがらんとしない
fact1: もし仮にこのフレームウィンドウがＶＳならそのレンタルサーバは不完全さであるけれどがらんとしない fact2: そのレンタルサーバはがらんとするということはない fact3: このフレームウィンドウはがらんとする fact4: なにかは飛び火するしそれは不完全さであるとすると断念しない fact5: 「がらんとする」物はある fact6: もし仮に何かは断念しないとしたら膨隆だけれどＶＳでない fact7: もし仮にこの当裁判所が膨隆であるがしかしＶＳでないとするとあの水泳部はがらんとしない fact8: 「膨隆である」物はある fact9: もしもそのレンタルサーバが飛び火しないとすればそれはがらんとしない fact10: 「そのレンタルサーバは飛び火しない」ということは本当であるならば不完全さである一方でがらんとしない fact11: このフレームウィンドウは断念する fact12: 「そのレンタルサーバは断念しない」ということは本当であるとしたらこのフレームウィンドウは飛び火するがしかしＶＳでない fact13: もしなんらかの物は膨隆で加えて断念すれば「そのレンタルサーバは飛び火しない」ということは成り立つ fact14: もしこのフレームウィンドウがＶＳだということはないならそのレンタルサーバはがらんとするということはない fact15: もし仮にこの当裁判所が膨隆だということはないならばこのフレームウィンドウはＶＳだ fact16: ＶＳは膨隆だ fact17: この当裁判所は断念する fact18: その節々は断念する fact19: 「断念する」物はある fact20: 「このフレームウィンドウは不完全さである」ということは真実だ fact21: 「この当裁判所は腕押しである」ということは成り立つ
void -> assump2: 以下のように仮定する。「この当裁判所は膨隆でない」ということは偽でない; fact15 & assump2 -> int1: このフレームウィンドウはＶＳだ; void -> assump1: 以下のように仮定する。このフレームウィンドウはＶＳでない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この当裁判所は膨隆であるということはない」ということは嘘である; int3 & fact17 -> int4: この当裁判所は膨隆だしかつ断念する; int4 -> int5: なにかは膨隆でおまけに断念する; int5 & fact13 -> int6: そのレンタルサーバは飛び火しない; int6 & fact10 -> int7: 「そのレンタルサーバは不完全さであるけどがらんとするということはない」ということは真実である; [assump1] & int7 -> hypothesis;
その労働法は膨隆である
fact22 -> int8: 仮にその労働法はＶＳであるとしたらそれは膨隆である;
$facts$ = fact1: もし仮にこのフレームウィンドウがＶＳならそのレンタルサーバは不完全さであるけれどがらんとしない fact2: そのレンタルサーバはがらんとするということはない fact3: このフレームウィンドウはがらんとする fact4: なにかは飛び火するしそれは不完全さであるとすると断念しない fact5: 「がらんとする」物はある fact6: もし仮に何かは断念しないとしたら膨隆だけれどＶＳでない fact7: もし仮にこの当裁判所が膨隆であるがしかしＶＳでないとするとあの水泳部はがらんとしない fact8: 「膨隆である」物はある fact9: もしもそのレンタルサーバが飛び火しないとすればそれはがらんとしない fact10: 「そのレンタルサーバは飛び火しない」ということは本当であるならば不完全さである一方でがらんとしない fact11: このフレームウィンドウは断念する fact12: 「そのレンタルサーバは断念しない」ということは本当であるとしたらこのフレームウィンドウは飛び火するがしかしＶＳでない fact13: もしなんらかの物は膨隆で加えて断念すれば「そのレンタルサーバは飛び火しない」ということは成り立つ fact14: もしこのフレームウィンドウがＶＳだということはないならそのレンタルサーバはがらんとするということはない fact15: もし仮にこの当裁判所が膨隆だということはないならばこのフレームウィンドウはＶＳだ fact16: ＶＳは膨隆だ fact17: この当裁判所は断念する fact18: その節々は断念する fact19: 「断念する」物はある fact20: 「このフレームウィンドウは不完全さである」ということは真実だ fact21: 「この当裁判所は腕押しである」ということは成り立つ ; $hypothesis$ = もしも「このフレームウィンドウはＶＳでない」ということは成り立てばそのレンタルサーバは不完全さであるがしかしそれはがらんとしない ; $proof$ = 
void -> assump2: 以下のように仮定する。「この当裁判所は膨隆でない」ということは偽でない; fact15 & assump2 -> int1: このフレームウィンドウはＶＳだ; void -> assump1: 以下のように仮定する。このフレームウィンドウはＶＳでない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この当裁判所は膨隆であるということはない」ということは嘘である; int3 & fact17 -> int4: この当裁判所は膨隆だしかつ断念する; int4 -> int5: なにかは膨隆でおまけに断念する; int5 & fact13 -> int6: そのレンタルサーバは飛び火しない; int6 & fact10 -> int7: 「そのレンタルサーバは不完全さであるけどがらんとするということはない」ということは真実である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にこのフレームウィンドウがＶＳならそのレンタルサーバは不完全さであるけれどがらんとしない
事実2: そのレンタルサーバはがらんとするということはない
事実3: このフレームウィンドウはがらんとする
事実4: なにかは飛び火するしそれは不完全さであるとすると断念しない
事実5: 「がらんとする」物はある
事実6: もし仮に何かは断念しないとしたら膨隆だけれどＶＳでない
事実7: もし仮にこの当裁判所が膨隆であるがしかしＶＳでないとするとあの水泳部はがらんとしない
事実8: 「膨隆である」物はある
事実9: もしもそのレンタルサーバが飛び火しないとすればそれはがらんとしない
事実10: 「そのレンタルサーバは飛び火しない」ということは本当であるならば不完全さである一方でがらんとしない
事実11: このフレームウィンドウは断念する
事実12: 「そのレンタルサーバは断念しない」ということは本当であるとしたらこのフレームウィンドウは飛び火するがしかしＶＳでない
事実13: もしなんらかの物は膨隆で加えて断念すれば「そのレンタルサーバは飛び火しない」ということは成り立つ
事実14: もしこのフレームウィンドウがＶＳだということはないならそのレンタルサーバはがらんとするということはない
事実15: もし仮にこの当裁判所が膨隆だということはないならばこのフレームウィンドウはＶＳだ
事実16: ＶＳは膨隆だ
事実17: この当裁判所は断念する
事実18: その節々は断念する
事実19: 「断念する」物はある
事実20: 「このフレームウィンドウは不完全さである」ということは真実だ
事実21: 「この当裁判所は腕押しである」ということは成り立つ

仮説: もしも「このフレームウィンドウはＶＳでない」ということは成り立てばそのレンタルサーバは不完全さであるがしかしそれはがらんとしない
1. 仮定2: 以下のように仮定する。「この当裁判所は膨隆でない」ということは偽でない
2. 事実15と仮定2から、推論1: "このフレームウィンドウはＶＳだ"が導かれる
3. 仮定1: 以下のように仮定する。このフレームウィンドウはＶＳでない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この当裁判所は膨隆であるということはない」ということは嘘である"が導かれる
6. 推論3と事実17から、推論4: "この当裁判所は膨隆だしかつ断念する"が導かれる
7. 推論4から、推論5: "なにかは膨隆でおまけに断念する"が導かれる
8. 推論5と事実13から、推論6: "そのレンタルサーバは飛び火しない"が導かれる
9. 推論6と事実10から、推論7: "「そのレンタルサーバは不完全さであるけどがらんとするということはない」ということは真実である"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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