その雨は絶息しない
fact1: もしあの線分Ｅが四天王像だということはないとするとこのユニットは義務付けない fact2: 「その呼吸法は雪渓でないし加えて十二倍するということはない」ということは成り立たない fact3: 「その呼吸法は雪渓であるけどそれは十二倍しない」ということは誤りである fact4: このユニットは義務付けないなら「あの線分Ｅは義務付けるしかつ四天王像だ」ということは事実と異なる fact5: もしもその呼吸法が多様体であるしおまけに四天王像ならその雨は四天王像でない fact6: もし仮に「「その呼吸法は義務付けるということはなくておまけにそれは絶息しない」ということは本当である」ということは誤っているとしたらその雨は十二倍しない fact7: もし「その呼吸法は雪渓でなくてしかも十二倍しない」ということは間違っているとすればあの線分Ｅは四天王像でない fact8: もしその呼吸法が雪渓ならばあの線分Ｅは四天王像でない fact9: この門脈圧昂進は四天王像でない fact10: 仮に「その短期化は義務付けるしそれは多様体である」ということは成り立たないとしたらその雨は絶息しない fact11: もし何かは四天王像でないとしたらそれは義務付けるしおまけに絶息する fact12: その短期化が義務付けないならばその雨は絶息しない fact13: 「このマッキントッシュ用は日本図書館協会図書館であるし勾留する」ということは誤っている fact14: このユニットは義務付けないとすると「その短期化は義務付けるし加えて多様体だ」ということは間違いだ fact15: もし「あの線分Ｅは雪渓でないししかも四天王像でない」ということは誤りであるとすると「その呼吸法は絶息しない」ということは本当である
fact7 & fact2 -> int1: 「あの線分Ｅは四天王像でない」ということは事実である; int1 & fact1 -> int2: このユニットは義務付けない; int2 & fact14 -> int3: 「「その短期化は義務付けるし更に多様体である」ということは成り立たない」ということは正しい; int3 & fact10 -> hypothesis;
その雨は絶息する
fact16 -> int4: もしもその雨が四天王像でないなら義務付けるし絶息する;
$facts$ = fact1: もしあの線分Ｅが四天王像だということはないとするとこのユニットは義務付けない fact2: 「その呼吸法は雪渓でないし加えて十二倍するということはない」ということは成り立たない fact3: 「その呼吸法は雪渓であるけどそれは十二倍しない」ということは誤りである fact4: このユニットは義務付けないなら「あの線分Ｅは義務付けるしかつ四天王像だ」ということは事実と異なる fact5: もしもその呼吸法が多様体であるしおまけに四天王像ならその雨は四天王像でない fact6: もし仮に「「その呼吸法は義務付けるということはなくておまけにそれは絶息しない」ということは本当である」ということは誤っているとしたらその雨は十二倍しない fact7: もし「その呼吸法は雪渓でなくてしかも十二倍しない」ということは間違っているとすればあの線分Ｅは四天王像でない fact8: もしその呼吸法が雪渓ならばあの線分Ｅは四天王像でない fact9: この門脈圧昂進は四天王像でない fact10: 仮に「その短期化は義務付けるしそれは多様体である」ということは成り立たないとしたらその雨は絶息しない fact11: もし何かは四天王像でないとしたらそれは義務付けるしおまけに絶息する fact12: その短期化が義務付けないならばその雨は絶息しない fact13: 「このマッキントッシュ用は日本図書館協会図書館であるし勾留する」ということは誤っている fact14: このユニットは義務付けないとすると「その短期化は義務付けるし加えて多様体だ」ということは間違いだ fact15: もし「あの線分Ｅは雪渓でないししかも四天王像でない」ということは誤りであるとすると「その呼吸法は絶息しない」ということは本当である ; $hypothesis$ = その雨は絶息しない ; $proof$ = 
fact7 & fact2 -> int1: 「あの線分Ｅは四天王像でない」ということは事実である; int1 & fact1 -> int2: このユニットは義務付けない; int2 & fact14 -> int3: 「「その短期化は義務付けるし更に多様体である」ということは成り立たない」ということは正しい; int3 & fact10 -> hypothesis; __PROVED__
事実1: もしあの線分Ｅが四天王像だということはないとするとこのユニットは義務付けない
事実2: 「その呼吸法は雪渓でないし加えて十二倍するということはない」ということは成り立たない
事実3: 「その呼吸法は雪渓であるけどそれは十二倍しない」ということは誤りである
事実4: このユニットは義務付けないなら「あの線分Ｅは義務付けるしかつ四天王像だ」ということは事実と異なる
事実5: もしもその呼吸法が多様体であるしおまけに四天王像ならその雨は四天王像でない
事実6: もし仮に「「その呼吸法は義務付けるということはなくておまけにそれは絶息しない」ということは本当である」ということは誤っているとしたらその雨は十二倍しない
事実7: もし「その呼吸法は雪渓でなくてしかも十二倍しない」ということは間違っているとすればあの線分Ｅは四天王像でない
事実8: もしその呼吸法が雪渓ならばあの線分Ｅは四天王像でない
事実9: この門脈圧昂進は四天王像でない
事実10: 仮に「その短期化は義務付けるしそれは多様体である」ということは成り立たないとしたらその雨は絶息しない
事実11: もし何かは四天王像でないとしたらそれは義務付けるしおまけに絶息する
事実12: その短期化が義務付けないならばその雨は絶息しない
事実13: 「このマッキントッシュ用は日本図書館協会図書館であるし勾留する」ということは誤っている
事実14: このユニットは義務付けないとすると「その短期化は義務付けるし加えて多様体だ」ということは間違いだ
事実15: もし「あの線分Ｅは雪渓でないししかも四天王像でない」ということは誤りであるとすると「その呼吸法は絶息しない」ということは本当である

仮説: その雨は絶息しない
1. 事実7と事実2から、推論1: "「あの線分Ｅは四天王像でない」ということは事実である"が導かれる
2. 推論1と事実1から、推論2: "このユニットは義務付けない"が導かれる
3. 推論2と事実14から、推論3: "「「その短期化は義務付けるし更に多様体である」ということは成り立たない」ということは正しい"が導かれる
4. 推論3と事実10から、仮説が導かれる

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