「この番人は切り離し難い」ということは確かである
fact1: この午後は伸び易い fact2: もしその予算執行は液膜でないとするとそれは対応す fact3: 仮に「なんらかのものは堅苦しいしアッピールする」ということは事実と異なるとするとそれは堅苦しくない fact4: もし仮に伸び易くないものは情動であるとしたら重み付ける fact5: 「この番人は妥当である」ということは確かだ fact6: この番人は重み付けない fact7: その予算執行が固有関数でないとすれば伸び易くないしそれは情動である fact8: もし仮に「その予算執行は重み付ける」ということは本当であるとするとこの番人は切り離し難い fact9: その予算執行は固有関数でない fact10: もしもその予算執行は固有関数でないとすると「それは伸び易くない」ということは成り立つ
fact7 & fact9 -> int1: その予算執行は伸び易いということはないけれど情動である; fact4 -> int2: その予算執行は伸び易くないがしかし情動であるとするとそれは重み付ける; int1 & int2 -> int3: 「その予算執行は重み付ける」ということは真実である; int3 & fact8 -> hypothesis;
fact7 & fact9 -> int1: (¬{AA}{a} & {AB}{a}); fact4 -> int2: (¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact8 -> hypothesis;
「この番人は切り離し難くない」ということは本当である
fact11 -> int4: 仮に「あの三世は堅苦しくてまたアッピールする」ということは嘘であるなら堅苦しくない;
$facts$ = fact1: この午後は伸び易い fact2: もしその予算執行は液膜でないとするとそれは対応す fact3: 仮に「なんらかのものは堅苦しいしアッピールする」ということは事実と異なるとするとそれは堅苦しくない fact4: もし仮に伸び易くないものは情動であるとしたら重み付ける fact5: 「この番人は妥当である」ということは確かだ fact6: この番人は重み付けない fact7: その予算執行が固有関数でないとすれば伸び易くないしそれは情動である fact8: もし仮に「その予算執行は重み付ける」ということは本当であるとするとこの番人は切り離し難い fact9: その予算執行は固有関数でない fact10: もしもその予算執行は固有関数でないとすると「それは伸び易くない」ということは成り立つ ; $hypothesis$ = 「この番人は切り離し難い」ということは確かである ; $proof$ = 
fact7 & fact9 -> int1: その予算執行は伸び易いということはないけれど情動である; fact4 -> int2: その予算執行は伸び易くないがしかし情動であるとするとそれは重み付ける; int1 & int2 -> int3: 「その予算執行は重み付ける」ということは真実である; int3 & fact8 -> hypothesis; __PROVED__
事実1: この午後は伸び易い
事実2: もしその予算執行は液膜でないとするとそれは対応す
事実3: 仮に「なんらかのものは堅苦しいしアッピールする」ということは事実と異なるとするとそれは堅苦しくない
事実4: もし仮に伸び易くないものは情動であるとしたら重み付ける
事実5: 「この番人は妥当である」ということは確かだ
事実6: この番人は重み付けない
事実7: その予算執行が固有関数でないとすれば伸び易くないしそれは情動である
事実8: もし仮に「その予算執行は重み付ける」ということは本当であるとするとこの番人は切り離し難い
事実9: その予算執行は固有関数でない
事実10: もしもその予算執行は固有関数でないとすると「それは伸び易くない」ということは成り立つ

仮説: 「この番人は切り離し難い」ということは確かである
1. 事実7と事実9から、推論1: "その予算執行は伸び易いということはないけれど情動である"が導かれる
2. 事実4から、推論2: "その予算執行は伸び易くないがしかし情動であるとするとそれは重み付ける"が導かれる
3. 推論1と推論2から、推論3: "「その予算執行は重み付ける」ということは真実である"が導かれる
4. 推論3と事実8から、仮説が導かれる

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