あの先々代は自動返信しない
fact1: 仮に「あの先々代は両大学であるがそれは与え難いということはない」ということは間違いであるとすれば「それは自動返信する」ということは確かである fact2: 「ＨＳＬな」物はある fact3: 仮に何かはＨＳＬだとすれば「それは恐れ多いが統幕議長でない」ということは成り立たない fact4: もし仮になにかはＨＳＬなら「あの先々代は両大学である一方で与え難くない」ということは成り立たない fact5: あの先々代はリクエストする fact6: 与え難い物はＨＳＬで両大学でない
fact2 & fact4 -> int1: 「あの先々代は両大学であるが与え難くない」ということは成り立たない; int1 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact1 -> hypothesis;
「この躙り口は恐れ多いけど統幕議長でない」ということは事実と異なる
fact9 -> int2: もしこの躙り口はＨＳＬだとすれば「恐れ多くて統幕議長でない」ということは間違いだ; fact8 -> int3: この躙り口が与え難いならＨＳＬであるしおまけにそれは両大学でない; fact7 -> int4: あの先々代はリクエストするかあるいはそれは自動返信するかあるいはどちらもである; int4 -> int5: 「リクエストするかもしくは自動返信する」ものはある;
$facts$ = fact1: 仮に「あの先々代は両大学であるがそれは与え難いということはない」ということは間違いであるとすれば「それは自動返信する」ということは確かである fact2: 「ＨＳＬな」物はある fact3: 仮に何かはＨＳＬだとすれば「それは恐れ多いが統幕議長でない」ということは成り立たない fact4: もし仮になにかはＨＳＬなら「あの先々代は両大学である一方で与え難くない」ということは成り立たない fact5: あの先々代はリクエストする fact6: 与え難い物はＨＳＬで両大学でない ; $hypothesis$ = あの先々代は自動返信しない ; $proof$ = 
fact2 & fact4 -> int1: 「あの先々代は両大学であるが与え難くない」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あの先々代は両大学であるがそれは与え難いということはない」ということは間違いであるとすれば「それは自動返信する」ということは確かである
事実2: 「ＨＳＬな」物はある
事実3: 仮に何かはＨＳＬだとすれば「それは恐れ多いが統幕議長でない」ということは成り立たない
事実4: もし仮になにかはＨＳＬなら「あの先々代は両大学である一方で与え難くない」ということは成り立たない
事実5: あの先々代はリクエストする
事実6: 与え難い物はＨＳＬで両大学でない

仮説: あの先々代は自動返信しない
1. 事実2と事実4から、推論1: "「あの先々代は両大学であるが与え難くない」ということは成り立たない"が導かれる
2. 推論1と事実1から、仮説が否定される

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