「この白ビームは白雲でなくてしかもそれはめんど臭くない」ということは成り立たない
fact1: もしこの白ビームは鬱血性心不全であるとすればそれは併記する fact2: そのカルシウム吸収率は結集す fact3: 仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲であるということはなくてめんど臭くない」ということは確かでない fact4: 仮に「「そのカルシウム吸収率はめんど臭くないか結集すらないかあるいは両方ともである」ということは成り立たない」ということは成り立つとしたらこのの制条は結集す fact5: 「法制化する」物はある fact6: 何かは結集すらないがそれが法制化するとすればそれは白雲でない fact7: もし仮にこの白ビームが併記しないとすればあの錙銖は張り替えるしさらにそれは中核分野だ fact8: そのカルシウム吸収率は法制化する fact9: もし仮に「勝ち過ぎる」ものがあればこの白ビームは鬱血性心不全である fact10: 「勝ち過ぎる」ものはある fact11: もしも「あの錙銖は中核分野だ」ということは事実であるならばあのカルシウム吸収率は白雲でないしそれに法制化しない fact12: 「この白ビームは白雲である一方でめんど臭くない」ということは事実と異なる fact13: あの煎餅工場は法制化する fact14: もし仮になんらかのものが結集すしまた法制化するとするとあの錙銖はめんど臭くない fact15: 「結集すし白雲な」ものはある fact16: その花狩りは結集す fact17: 「そのカルシウム吸収率は結集すらないしかつめんど臭くない」ということは成り立たない fact18: もしもある物は中核分野でなくてかつ張り替えないならそれはめんど臭いということはない fact19: 「結集す」物はある fact20: もし仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲だけれどめんど臭いということはない」ということは誤りである fact21: もしもある物は法制化しないとしたら「めんど臭くないかあるいは結集すらないかまたはどちらもである」ということは成り立たない fact22: もし仮にあの錙銖はめんど臭くないなら「この白ビームは白雲でないけれどめんど臭い」ということは成り立たない fact23: 「「この白ビームは白雲でないがそれはめんど臭い」ということは確かだ」ということは嘘である
fact2 & fact8 -> int1: そのカルシウム吸収率は結集すしまた法制化する; int1 -> int2: 「「結集すししかも法制化する」ものはある」ということは事実である; int2 & fact14 -> int3: 「あの錙銖はめんど臭くない」ということは確かだ; int3 & fact3 -> hypothesis;
「この白ビームは白雲でなくてめんど臭くない」ということは正しい
fact24 -> int4: 仮にこの白ビームが結集すらないけれど法制化すれば白雲でない; fact27 & fact26 -> int5: この白ビームは鬱血性心不全である; int5 & fact28 -> int6: この白ビームは併記する; fact25 -> int7: もしも「この白ビームは中核分野でないしまた張り替えない」ということは真実であるとすればそれはめんど臭くない;
$facts$ = fact1: もしこの白ビームは鬱血性心不全であるとすればそれは併記する fact2: そのカルシウム吸収率は結集す fact3: 仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲であるということはなくてめんど臭くない」ということは確かでない fact4: 仮に「「そのカルシウム吸収率はめんど臭くないか結集すらないかあるいは両方ともである」ということは成り立たない」ということは成り立つとしたらこのの制条は結集す fact5: 「法制化する」物はある fact6: 何かは結集すらないがそれが法制化するとすればそれは白雲でない fact7: もし仮にこの白ビームが併記しないとすればあの錙銖は張り替えるしさらにそれは中核分野だ fact8: そのカルシウム吸収率は法制化する fact9: もし仮に「勝ち過ぎる」ものがあればこの白ビームは鬱血性心不全である fact10: 「勝ち過ぎる」ものはある fact11: もしも「あの錙銖は中核分野だ」ということは事実であるならばあのカルシウム吸収率は白雲でないしそれに法制化しない fact12: 「この白ビームは白雲である一方でめんど臭くない」ということは事実と異なる fact13: あの煎餅工場は法制化する fact14: もし仮になんらかのものが結集すしまた法制化するとするとあの錙銖はめんど臭くない fact15: 「結集すし白雲な」ものはある fact16: その花狩りは結集す fact17: 「そのカルシウム吸収率は結集すらないしかつめんど臭くない」ということは成り立たない fact18: もしもある物は中核分野でなくてかつ張り替えないならそれはめんど臭いということはない fact19: 「結集す」物はある fact20: もし仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲だけれどめんど臭いということはない」ということは誤りである fact21: もしもある物は法制化しないとしたら「めんど臭くないかあるいは結集すらないかまたはどちらもである」ということは成り立たない fact22: もし仮にあの錙銖はめんど臭くないなら「この白ビームは白雲でないけれどめんど臭い」ということは成り立たない fact23: 「「この白ビームは白雲でないがそれはめんど臭い」ということは確かだ」ということは嘘である ; $hypothesis$ = 「この白ビームは白雲でなくてしかもそれはめんど臭くない」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: そのカルシウム吸収率は結集すしまた法制化する; int1 -> int2: 「「結集すししかも法制化する」ものはある」ということは事実である; int2 & fact14 -> int3: 「あの錙銖はめんど臭くない」ということは確かだ; int3 & fact3 -> hypothesis; __PROVED__
事実1: もしこの白ビームは鬱血性心不全であるとすればそれは併記する
事実2: そのカルシウム吸収率は結集す
事実3: 仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲であるということはなくてめんど臭くない」ということは確かでない
事実4: 仮に「「そのカルシウム吸収率はめんど臭くないか結集すらないかあるいは両方ともである」ということは成り立たない」ということは成り立つとしたらこのの制条は結集す
事実5: 「法制化する」物はある
事実6: 何かは結集すらないがそれが法制化するとすればそれは白雲でない
事実7: もし仮にこの白ビームが併記しないとすればあの錙銖は張り替えるしさらにそれは中核分野だ
事実8: そのカルシウム吸収率は法制化する
事実9: もし仮に「勝ち過ぎる」ものがあればこの白ビームは鬱血性心不全である
事実10: 「勝ち過ぎる」ものはある
事実11: もしも「あの錙銖は中核分野だ」ということは事実であるならばあのカルシウム吸収率は白雲でないしそれに法制化しない
事実12: 「この白ビームは白雲である一方でめんど臭くない」ということは事実と異なる
事実13: あの煎餅工場は法制化する
事実14: もし仮になんらかのものが結集すしまた法制化するとするとあの錙銖はめんど臭くない
事実15: 「結集すし白雲な」ものはある
事実16: その花狩りは結集す
事実17: 「そのカルシウム吸収率は結集すらないしかつめんど臭くない」ということは成り立たない
事実18: もしもある物は中核分野でなくてかつ張り替えないならそれはめんど臭いということはない
事実19: 「結集す」物はある
事実20: もし仮にあの錙銖はめんど臭くないとしたら「この白ビームは白雲だけれどめんど臭いということはない」ということは誤りである
事実21: もしもある物は法制化しないとしたら「めんど臭くないかあるいは結集すらないかまたはどちらもである」ということは成り立たない
事実22: もし仮にあの錙銖はめんど臭くないなら「この白ビームは白雲でないけれどめんど臭い」ということは成り立たない
事実23: 「「この白ビームは白雲でないがそれはめんど臭い」ということは確かだ」ということは嘘である

仮説: 「この白ビームは白雲でなくてしかもそれはめんど臭くない」ということは成り立たない
1. 事実2と事実8から、推論1: "そのカルシウム吸収率は結集すしまた法制化する"が導かれる
2. 推論1から、推論2: "「「結集すししかも法制化する」ものはある」ということは事実である"が導かれる
3. 推論2と事実14から、推論3: "「あの錙銖はめんど臭くない」ということは確かだ"が導かれる
4. 推論3と事実3から、仮説が導かれる

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