「「あの領知高は情け深くない」ということは事実と異ならないとしたらあの二作目以降は図々しい一方でむさくない」ということは間違っている
fact1: もし仮にあの領知高は図々しいということはないなら「この俊敏性はむさいということはないがしかし情け深い」ということは間違いである fact2: もしあの領知高が情け深くないが排出するとすればこの俊敏性はむさくない fact3: もし仮にあの作成ウィザードは言い出し兼ねないとすると「この増減高は返りらしくないしおまけに仕方無しない」ということは成り立たない fact4: あの一望は言い出し兼ねない fact5: あの作成ウィザードは言い出し兼ねない fact6: もしあの二作目以降は図々しかないとすれば「あの領知高は排出しないがしかしそれはむさい」ということは成り立たない fact7: もし仮にあの領知高が排出するということはないとしたらこの増減高は返りらしくないし仕方無しない fact8: この俊敏性がむさくないとしたらあの二作目以降は図々しいけれどむさいということはない
void -> assump2: 以下のように仮定する。あの領知高は排出しない; fact7 & assump2 -> int1: この増減高は返りらしくないししかも仕方無しない; fact5 & fact3 -> int2: 「この増減高は返りらしいということはなくて仕方無しない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの領知高は排出する; void -> assump1: 以下のように仮定する。あの領知高は情け深くない; int4 & assump1 -> int5: あの領知高は情け深いということはないがしかし排出する; int5 & fact2 -> int6: この俊敏性はむさくない; int6 & fact8 -> int7: あの二作目以降は図々しい一方でそれはむさいということはない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし仮にあの領知高は図々しいということはないなら「この俊敏性はむさいということはないがしかし情け深い」ということは間違いである fact2: もしあの領知高が情け深くないが排出するとすればこの俊敏性はむさくない fact3: もし仮にあの作成ウィザードは言い出し兼ねないとすると「この増減高は返りらしくないしおまけに仕方無しない」ということは成り立たない fact4: あの一望は言い出し兼ねない fact5: あの作成ウィザードは言い出し兼ねない fact6: もしあの二作目以降は図々しかないとすれば「あの領知高は排出しないがしかしそれはむさい」ということは成り立たない fact7: もし仮にあの領知高が排出するということはないとしたらこの増減高は返りらしくないし仕方無しない fact8: この俊敏性がむさくないとしたらあの二作目以降は図々しいけれどむさいということはない ; $hypothesis$ = 「「あの領知高は情け深くない」ということは事実と異ならないとしたらあの二作目以降は図々しい一方でむさくない」ということは間違っている ; $proof$ = 
void -> assump2: 以下のように仮定する。あの領知高は排出しない; fact7 & assump2 -> int1: この増減高は返りらしくないししかも仕方無しない; fact5 & fact3 -> int2: 「この増減高は返りらしいということはなくて仕方無しない」ということは嘘である; int1 & int2 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの領知高は排出する; void -> assump1: 以下のように仮定する。あの領知高は情け深くない; int4 & assump1 -> int5: あの領知高は情け深いということはないがしかし排出する; int5 & fact2 -> int6: この俊敏性はむさくない; int6 & fact8 -> int7: あの二作目以降は図々しい一方でそれはむさいということはない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの領知高は図々しいということはないなら「この俊敏性はむさいということはないがしかし情け深い」ということは間違いである
事実2: もしあの領知高が情け深くないが排出するとすればこの俊敏性はむさくない
事実3: もし仮にあの作成ウィザードは言い出し兼ねないとすると「この増減高は返りらしくないしおまけに仕方無しない」ということは成り立たない
事実4: あの一望は言い出し兼ねない
事実5: あの作成ウィザードは言い出し兼ねない
事実6: もしあの二作目以降は図々しかないとすれば「あの領知高は排出しないがしかしそれはむさい」ということは成り立たない
事実7: もし仮にあの領知高が排出するということはないとしたらこの増減高は返りらしくないし仕方無しない
事実8: この俊敏性がむさくないとしたらあの二作目以降は図々しいけれどむさいということはない

仮説: 「「あの領知高は情け深くない」ということは事実と異ならないとしたらあの二作目以降は図々しい一方でむさくない」ということは間違っている
1. 仮定2: 以下のように仮定する。あの領知高は排出しない
2. 事実7と仮定2から、推論1: "この増減高は返りらしくないししかも仕方無しない"が導かれる
3. 事実5と事実3から、推論2: "「この増減高は返りらしいということはなくて仕方無しない」ということは嘘である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定2]と推論3から、推論4: "あの領知高は排出する"が導かれる
6. 仮定1: 以下のように仮定する。あの領知高は情け深くない
7. 推論4と仮定1から、推論5: "あの領知高は情け深いということはないがしかし排出する"が導かれる
8. 推論5と事実2から、推論6: "この俊敏性はむさくない"が導かれる
9. 推論6と事実8から、推論7: "あの二作目以降は図々しい一方でそれはむさいということはない"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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