「その連続投与は渡し賃である」ということは成り立つ
fact1: もしその連続投与が生産出来る一方で渡し賃でないとしたら惨めったらしくない fact2: もしもなにがしかの物が渡し賃でないならばきつくて疑り深い fact3: この肺気腫患者が生産出来るがしかしきついないならその連続投与は渡し賃でない fact4: その連続投与はきついしそれは生産出来る fact5: 「その連続投与は惨めったらしい」ということは本当である fact6: このＩＴ導入は生産出来るし高揚する
fact4 -> int1: その連続投与は生産出来る; void -> assump1: 以下のように仮定する。その連続投与は渡し賃でない; int1 & assump1 -> int2: その連続投与は生産出来るがしかしそれは渡し賃でない; int2 & fact1 -> int3: その連続投与は惨めったらしいということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その連続投与が疑り深いしその上高揚する
fact8 -> int5: もし仮にこの肺気腫患者は渡し賃でないとするときついしその上疑り深い; fact7 -> int6: このＩＴ導入は高揚する;
$facts$ = fact1: もしその連続投与が生産出来る一方で渡し賃でないとしたら惨めったらしくない fact2: もしもなにがしかの物が渡し賃でないならばきつくて疑り深い fact3: この肺気腫患者が生産出来るがしかしきついないならその連続投与は渡し賃でない fact4: その連続投与はきついしそれは生産出来る fact5: 「その連続投与は惨めったらしい」ということは本当である fact6: このＩＴ導入は生産出来るし高揚する ; $hypothesis$ = 「その連続投与は渡し賃である」ということは成り立つ ; $proof$ = 
fact4 -> int1: その連続投与は生産出来る; void -> assump1: 以下のように仮定する。その連続投与は渡し賃でない; int1 & assump1 -> int2: その連続投与は生産出来るがしかしそれは渡し賃でない; int2 & fact1 -> int3: その連続投与は惨めったらしいということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしその連続投与が生産出来る一方で渡し賃でないとしたら惨めったらしくない
事実2: もしもなにがしかの物が渡し賃でないならばきつくて疑り深い
事実3: この肺気腫患者が生産出来るがしかしきついないならその連続投与は渡し賃でない
事実4: その連続投与はきついしそれは生産出来る
事実5: 「その連続投与は惨めったらしい」ということは本当である
事実6: このＩＴ導入は生産出来るし高揚する

仮説: 「その連続投与は渡し賃である」ということは成り立つ
1. 事実4から、推論1: "その連続投与は生産出来る"が導かれる
2. 仮定1: 以下のように仮定する。その連続投与は渡し賃でない
3. 推論1と仮定1から、推論2: "その連続投与は生産出来るがしかしそれは渡し賃でない"が導かれる
4. 推論2と事実1から、推論3: "その連続投与は惨めったらしいということはない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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