「その対象事業は撒水する」ということは本当である
fact1: 「あるものはたわいないが著しかない」ということは間違いならば「撒水しない」ということは真実である fact2: この静脈栄養はたわいない fact3: 著しかない物はたわいないしまた撒水する fact4: 仮に「この静脈栄養はたわいない」ということは正しいとするとその対象事業は撒水する fact5: もし仮にこの静脈栄養が撒水するとするとその対象事業はたわいない
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
その対象事業は撒水しない
fact6 -> int1: 仮に「その対象事業はたわいないけど著しかない」ということは成り立たないとするとそれは撒水するということはない;
$facts$ = fact1: 「あるものはたわいないが著しかない」ということは間違いならば「撒水しない」ということは真実である fact2: この静脈栄養はたわいない fact3: 著しかない物はたわいないしまた撒水する fact4: 仮に「この静脈栄養はたわいない」ということは正しいとするとその対象事業は撒水する fact5: もし仮にこの静脈栄養が撒水するとするとその対象事業はたわいない ; $hypothesis$ = 「その対象事業は撒水する」ということは本当である ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: 「あるものはたわいないが著しかない」ということは間違いならば「撒水しない」ということは真実である
事実2: この静脈栄養はたわいない
事実3: 著しかない物はたわいないしまた撒水する
事実4: 仮に「この静脈栄養はたわいない」ということは正しいとするとその対象事業は撒水する
事実5: もし仮にこの静脈栄養が撒水するとするとその対象事業はたわいない

仮説: 「その対象事業は撒水する」ということは本当である
1. 事実4と事実2から、仮説が導かれる

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