この腺腫は派しない
fact1: もし仮にその取り立て機関は消却するし呼吸器疾患だとしたらそれはぐい飲みでない fact2: もし仮にその取り立て機関はぐい飲みでないなら「この腺腫は後ろめたいしその上ぐい飲みである」ということは嘘だ fact3: その取り立て機関は消却するし更に階層毎である fact4: もしも「なんらかのものは後ろめたくておまけにぐい飲みである」ということは成り立たないとしたらそれは派しない fact5: その取り立て機関は受け払いでそれにそれは呼吸器疾患だ
fact3 -> int1: その取り立て機関は消却する; fact5 -> int2: その取り立て機関は呼吸器疾患だ; int1 & int2 -> int3: その取り立て機関は消却するしさらにそれは呼吸器疾患だ; int3 & fact1 -> int4: その取り立て機関はぐい飲みでない; int4 & fact2 -> int5: 「この腺腫は後ろめたいししかもぐい飲みだ」ということは偽である; fact4 -> int6: もし「この腺腫は後ろめたいしまたぐい飲みだ」ということは成り立たないとすればそれは派するということはない; int5 & int6 -> hypothesis;
$facts$ = fact1: もし仮にその取り立て機関は消却するし呼吸器疾患だとしたらそれはぐい飲みでない fact2: もし仮にその取り立て機関はぐい飲みでないなら「この腺腫は後ろめたいしその上ぐい飲みである」ということは嘘だ fact3: その取り立て機関は消却するし更に階層毎である fact4: もしも「なんらかのものは後ろめたくておまけにぐい飲みである」ということは成り立たないとしたらそれは派しない fact5: その取り立て機関は受け払いでそれにそれは呼吸器疾患だ ; $hypothesis$ = この腺腫は派しない ; $proof$ = 
fact3 -> int1: その取り立て機関は消却する; fact5 -> int2: その取り立て機関は呼吸器疾患だ; int1 & int2 -> int3: その取り立て機関は消却するしさらにそれは呼吸器疾患だ; int3 & fact1 -> int4: その取り立て機関はぐい飲みでない; int4 & fact2 -> int5: 「この腺腫は後ろめたいししかもぐい飲みだ」ということは偽である; fact4 -> int6: もし「この腺腫は後ろめたいしまたぐい飲みだ」ということは成り立たないとすればそれは派するということはない; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にその取り立て機関は消却するし呼吸器疾患だとしたらそれはぐい飲みでない
事実2: もし仮にその取り立て機関はぐい飲みでないなら「この腺腫は後ろめたいしその上ぐい飲みである」ということは嘘だ
事実3: その取り立て機関は消却するし更に階層毎である
事実4: もしも「なんらかのものは後ろめたくておまけにぐい飲みである」ということは成り立たないとしたらそれは派しない
事実5: その取り立て機関は受け払いでそれにそれは呼吸器疾患だ

仮説: この腺腫は派しない
1. 事実3から、推論1: "その取り立て機関は消却する"が導かれる
2. 事実5から、推論2: "その取り立て機関は呼吸器疾患だ"が導かれる
3. 推論1と推論2から、推論3: "その取り立て機関は消却するしさらにそれは呼吸器疾患だ"が導かれる
4. 推論3と事実1から、推論4: "その取り立て機関はぐい飲みでない"が導かれる
5. 推論4と事実2から、推論5: "「この腺腫は後ろめたいししかもぐい飲みだ」ということは偽である"が導かれる
6. 事実4から、推論6: "もし「この腺腫は後ろめたいしまたぐい飲みだ」ということは成り立たないとすればそれは派するということはない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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