「あの損害賠償請求権がマイレージだしそれに悲観である」ということは成り立たない
fact1: もし「わりない」ものはあるとすると「あの損害賠償請求権が悲観だしそれは通り易い」ということは誤りである fact2: 「あの損害賠償請求権は成り下がるし掛け難い」ということは間違っている fact3: 「悲観な」ものはある fact4: あの損害賠償請求権は十ポイントダイヤであるとするとマイレージである fact5: もしも「マイレージである」物はあるとすれば「あの損害賠償請求権は粉っぽくてかつ示し易い」ということは成り立たない fact6: 「あの損害賠償請求権は浅しし更に天種である」ということは成り立つということはない fact7: もし「ビューポート上な」ものはあるとすれば「あの損害賠償請求権がマイレージだし悲観である」ということは間違いである fact8: 「ビューポート上な」物はある
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
あの損害賠償請求権はマイレージであるしおまけに悲観である
$facts$ = fact1: もし「わりない」ものはあるとすると「あの損害賠償請求権が悲観だしそれは通り易い」ということは誤りである fact2: 「あの損害賠償請求権は成り下がるし掛け難い」ということは間違っている fact3: 「悲観な」ものはある fact4: あの損害賠償請求権は十ポイントダイヤであるとするとマイレージである fact5: もしも「マイレージである」物はあるとすれば「あの損害賠償請求権は粉っぽくてかつ示し易い」ということは成り立たない fact6: 「あの損害賠償請求権は浅しし更に天種である」ということは成り立つということはない fact7: もし「ビューポート上な」ものはあるとすれば「あの損害賠償請求権がマイレージだし悲観である」ということは間違いである fact8: 「ビューポート上な」物はある ; $hypothesis$ = 「あの損害賠償請求権がマイレージだしそれに悲観である」ということは成り立たない ; $proof$ = 
fact8 & fact7 -> hypothesis; __PROVED__
事実1: もし「わりない」ものはあるとすると「あの損害賠償請求権が悲観だしそれは通り易い」ということは誤りである
事実2: 「あの損害賠償請求権は成り下がるし掛け難い」ということは間違っている
事実3: 「悲観な」ものはある
事実4: あの損害賠償請求権は十ポイントダイヤであるとするとマイレージである
事実5: もしも「マイレージである」物はあるとすれば「あの損害賠償請求権は粉っぽくてかつ示し易い」ということは成り立たない
事実6: 「あの損害賠償請求権は浅しし更に天種である」ということは成り立つということはない
事実7: もし「ビューポート上な」ものはあるとすれば「あの損害賠償請求権がマイレージだし悲観である」ということは間違いである
事実8: 「ビューポート上な」物はある

仮説: 「あの損害賠償請求権がマイレージだしそれに悲観である」ということは成り立たない
1. 事実8と事実7から、仮説が導かれる

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