もしもこの四百五十人がベイナイトだとするとあの関節可動域は出走馬である
fact1: 仮にこの四百五十人はベイナイトであるとしたら「それは追加出来る」ということは成り立つ fact2: とあるものが好もしかないかあるいは爆撃しないなら「この本件訴えは好もしかない」ということは成り立つ fact3: 「あの関節可動域はベイナイトだ」ということは正しいとしたらこのＤＸは追加出来る fact4: 仮に「追加出来るしかつ中流域でない」物があるとするとあの関節可動域は出走馬である fact5: 仮にその資産課税が地球温暖化係数であるならば好もしかないかまたは爆撃しないかまたはどちらもだ fact6: その資産課税はＮＴＳＣだししかも地球温暖化係数である fact7: 好もしかないものはなますということはない fact8: 仮になにかはベイナイトであるとしたら追加出来るししかも中流域でない
fact8 -> int1: もし仮にこの四百五十人がベイナイトであるとすると追加出来るしかつ中流域でない; void -> assump1: 以下のように仮定する。この四百五十人はベイナイトだ; int1 & assump1 -> int2: この四百五十人は追加出来るがしかし中流域でない; int2 -> int3: 「追加出来るしさらに中流域でない」ものはある; int3 & fact4 -> int4: あの関節可動域は出走馬だ; [assump1] & int4 -> hypothesis;
このＤＸは追加出来る
fact13 -> int5: 仮にこの本件訴えが好もしかないとしたらなまさない; fact10 -> int6: その資産課税は地球温暖化係数だ; fact11 & int6 -> int7: その資産課税は好もしかないかまたはそれは爆撃しないか両方だ; int7 -> int8: なにがしかのものは好もしかないかまたは爆撃しないかもしくはどちらもだ; int8 & fact9 -> int9: この本件訴えは好もしいということはない; int5 & int9 -> int10: この本件訴えはなまさない; int10 -> int11: とあるものはなまさない;
$facts$ = fact1: 仮にこの四百五十人はベイナイトであるとしたら「それは追加出来る」ということは成り立つ fact2: とあるものが好もしかないかあるいは爆撃しないなら「この本件訴えは好もしかない」ということは成り立つ fact3: 「あの関節可動域はベイナイトだ」ということは正しいとしたらこのＤＸは追加出来る fact4: 仮に「追加出来るしかつ中流域でない」物があるとするとあの関節可動域は出走馬である fact5: 仮にその資産課税が地球温暖化係数であるならば好もしかないかまたは爆撃しないかまたはどちらもだ fact6: その資産課税はＮＴＳＣだししかも地球温暖化係数である fact7: 好もしかないものはなますということはない fact8: 仮になにかはベイナイトであるとしたら追加出来るししかも中流域でない ; $hypothesis$ = もしもこの四百五十人がベイナイトだとするとあの関節可動域は出走馬である ; $proof$ = 
fact8 -> int1: もし仮にこの四百五十人がベイナイトであるとすると追加出来るしかつ中流域でない; void -> assump1: 以下のように仮定する。この四百五十人はベイナイトだ; int1 & assump1 -> int2: この四百五十人は追加出来るがしかし中流域でない; int2 -> int3: 「追加出来るしさらに中流域でない」ものはある; int3 & fact4 -> int4: あの関節可動域は出走馬だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にこの四百五十人はベイナイトであるとしたら「それは追加出来る」ということは成り立つ
事実2: とあるものが好もしかないかあるいは爆撃しないなら「この本件訴えは好もしかない」ということは成り立つ
事実3: 「あの関節可動域はベイナイトだ」ということは正しいとしたらこのＤＸは追加出来る
事実4: 仮に「追加出来るしかつ中流域でない」物があるとするとあの関節可動域は出走馬である
事実5: 仮にその資産課税が地球温暖化係数であるならば好もしかないかまたは爆撃しないかまたはどちらもだ
事実6: その資産課税はＮＴＳＣだししかも地球温暖化係数である
事実7: 好もしかないものはなますということはない
事実8: 仮になにかはベイナイトであるとしたら追加出来るししかも中流域でない

仮説: もしもこの四百五十人がベイナイトだとするとあの関節可動域は出走馬である
1. 事実8から、推論1: "もし仮にこの四百五十人がベイナイトであるとすると追加出来るしかつ中流域でない"が導かれる
2. 仮定1: 以下のように仮定する。この四百五十人はベイナイトだ
3. 推論1と仮定1から、推論2: "この四百五十人は追加出来るがしかし中流域でない"が導かれる
4. 推論2から、推論3: "「追加出来るしさらに中流域でない」ものはある"が導かれる
5. 推論3と事実4から、推論4: "あの関節可動域は出走馬だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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