その関連事項はパール粒子だ
fact1: 「「イミプラミンでなくてそれに割り付ける」ということは事実でない」物があるならその平刃籾は升掛け線である fact2: 仮にこの埋葬坑が保呂草達でない一方でそれがパール粒子だとするとその関連事項はパール粒子でない fact3: もしこの埋葬坑がイミプラミンでないけれど割り付けるとすればあのシステムフォルダ内は保呂草達だということはない fact4: 仮にその平刃籾が升掛け線であるならばその関連事項はパール粒子だ fact5: このシステムフォルダ内は堪え難くてまたそれは保呂草達である
void -> assump1: 以下のように仮定する。この埋葬坑はイミプラミンでないけれどそれは割り付ける; fact3 & assump1 -> int1: このシステムフォルダ内は保呂草達でない; fact5 -> int2: このシステムフォルダ内は保呂草達だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この埋葬坑はイミプラミンでないがしかし割り付ける」ということは誤りである」ということは成り立つ; int4 -> int5: 「「「イミプラミンでないが割り付ける」ということは事実である」ということは誤りである」物はある; int5 & fact1 -> int6: その平刃籾は升掛け線だ; int6 & fact4 -> hypothesis;
その関連事項はパール粒子でない
$facts$ = fact1: 「「イミプラミンでなくてそれに割り付ける」ということは事実でない」物があるならその平刃籾は升掛け線である fact2: 仮にこの埋葬坑が保呂草達でない一方でそれがパール粒子だとするとその関連事項はパール粒子でない fact3: もしこの埋葬坑がイミプラミンでないけれど割り付けるとすればあのシステムフォルダ内は保呂草達だということはない fact4: 仮にその平刃籾が升掛け線であるならばその関連事項はパール粒子だ fact5: このシステムフォルダ内は堪え難くてまたそれは保呂草達である ; $hypothesis$ = その関連事項はパール粒子だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この埋葬坑はイミプラミンでないけれどそれは割り付ける; fact3 & assump1 -> int1: このシステムフォルダ内は保呂草達でない; fact5 -> int2: このシステムフォルダ内は保呂草達だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この埋葬坑はイミプラミンでないがしかし割り付ける」ということは誤りである」ということは成り立つ; int4 -> int5: 「「「イミプラミンでないが割り付ける」ということは事実である」ということは誤りである」物はある; int5 & fact1 -> int6: その平刃籾は升掛け線だ; int6 & fact4 -> hypothesis; __PROVED__
事実1: 「「イミプラミンでなくてそれに割り付ける」ということは事実でない」物があるならその平刃籾は升掛け線である
事実2: 仮にこの埋葬坑が保呂草達でない一方でそれがパール粒子だとするとその関連事項はパール粒子でない
事実3: もしこの埋葬坑がイミプラミンでないけれど割り付けるとすればあのシステムフォルダ内は保呂草達だということはない
事実4: 仮にその平刃籾が升掛け線であるならばその関連事項はパール粒子だ
事実5: このシステムフォルダ内は堪え難くてまたそれは保呂草達である

仮説: その関連事項はパール粒子だ
1. 仮定1: 以下のように仮定する。この埋葬坑はイミプラミンでないけれどそれは割り付ける
2. 事実3と仮定1から、推論1: "このシステムフォルダ内は保呂草達でない"が導かれる
3. 事実5から、推論2: "このシステムフォルダ内は保呂草達だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「この埋葬坑はイミプラミンでないがしかし割り付ける」ということは誤りである」ということは成り立つ"が導かれる
6. 推論4から、推論5: "「「「イミプラミンでないが割り付ける」ということは事実である」ということは誤りである」物はある"が導かれる
7. 推論5と事実1から、推論6: "その平刃籾は升掛け線だ"が導かれる
8. 推論6と事実4から、仮説が導かれる

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