その手首は姦しい
fact1: 「その手首は出し合えなくて禍々しかない」ということは間違いであるならばそれは規格単位だ fact2: もし仮に何かは出し合えなくて禍々しかないとしたら姦しくない fact3: あの物語中は縫い上げる fact4: もしも何かは規格単位であるかあるいは多いとすれば怖じ気付くということはない fact5: もしもあの処分事件が縫い上げるとすればその手首は怖じ気付く fact6: 「何らかのものは規格単位である」ということは本当であるとすればそれは多いということはない fact7: あの処分事件は縫い上げる
void -> assump1: 以下のように仮定する。「その手首は出し合えなくて禍々しかない」ということは嘘だ; fact1 & assump1 -> int1: その手首は規格単位だ; int1 -> int2: その手首は規格単位であるかまたは多い; fact4 -> int3: 仮にその手首は規格単位であるかあるいは多いかまたは両方だとするとそれは怖じ気付くということはない; int2 & int3 -> int4: その手首は怖じ気付かない; fact5 & fact7 -> int5: その手首は怖じ気付く; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その手首は出し合えないしそれにそれは禍々しかない; fact2 -> int8: 仮にその手首は出し合えなくて更に禍々しかないとするとそれは姦しくない; int7 & int8 -> hypothesis;
あの委任状提出者は多くない
fact8 -> int9: もしもあの委任状提出者は規格単位であるとすれば「それは多くない」ということは事実だ;
$facts$ = fact1: 「その手首は出し合えなくて禍々しかない」ということは間違いであるならばそれは規格単位だ fact2: もし仮に何かは出し合えなくて禍々しかないとしたら姦しくない fact3: あの物語中は縫い上げる fact4: もしも何かは規格単位であるかあるいは多いとすれば怖じ気付くということはない fact5: もしもあの処分事件が縫い上げるとすればその手首は怖じ気付く fact6: 「何らかのものは規格単位である」ということは本当であるとすればそれは多いということはない fact7: あの処分事件は縫い上げる ; $hypothesis$ = その手首は姦しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その手首は出し合えなくて禍々しかない」ということは嘘だ; fact1 & assump1 -> int1: その手首は規格単位だ; int1 -> int2: その手首は規格単位であるかまたは多い; fact4 -> int3: 仮にその手首は規格単位であるかあるいは多いかまたは両方だとするとそれは怖じ気付くということはない; int2 & int3 -> int4: その手首は怖じ気付かない; fact5 & fact7 -> int5: その手首は怖じ気付く; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その手首は出し合えないしそれにそれは禍々しかない; fact2 -> int8: 仮にその手首は出し合えなくて更に禍々しかないとするとそれは姦しくない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「その手首は出し合えなくて禍々しかない」ということは間違いであるならばそれは規格単位だ
事実2: もし仮に何かは出し合えなくて禍々しかないとしたら姦しくない
事実3: あの物語中は縫い上げる
事実4: もしも何かは規格単位であるかあるいは多いとすれば怖じ気付くということはない
事実5: もしもあの処分事件が縫い上げるとすればその手首は怖じ気付く
事実6: 「何らかのものは規格単位である」ということは本当であるとすればそれは多いということはない
事実7: あの処分事件は縫い上げる

仮説: その手首は姦しい
1. 仮定1: 以下のように仮定する。「その手首は出し合えなくて禍々しかない」ということは嘘だ
2. 事実1と仮定1から、推論1: "その手首は規格単位だ"が導かれる
3. 推論1から、推論2: "その手首は規格単位であるかまたは多い"が導かれる
4. 事実4から、推論3: "仮にその手首は規格単位であるかあるいは多いかまたは両方だとするとそれは怖じ気付くということはない"が導かれる
5. 推論2と推論3から、推論4: "その手首は怖じ気付かない"が導かれる
6. 事実5と事実7から、推論5: "その手首は怖じ気付く"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その手首は出し合えないしそれにそれは禍々しかない"が導かれる
9. 事実2から、推論8: "仮にその手首は出し合えなくて更に禍々しかないとするとそれは姦しくない"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。