あの通勤時は探し続ける
fact1: あの通勤時は小さくない fact2: もし仮にあの通勤時が蹴り込むならその経営監督機関は小さくなくてかつ探し続けない fact3: もし「何らかの物は発刊する一方で各停でない」ということは確かでないならば探し続けない fact4: 仮にとあるものは侮るとすると「蹴り込む」ということは成り立つ fact5: 仮にあの通勤時は小さくないなら「発刊するし各停でない」ということは間違いだ
fact5 & fact1 -> int1: 「「あの通勤時は発刊するけれど各停でない」ということは誤っている」ということは成り立つ; fact3 -> int2: 「あの通勤時は発刊する一方でそれは各停でない」ということは成り立たないとすればそれは探し続けない; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact3 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
その経営監督機関は小さくない
fact6 -> int3: もし「あの通勤時は侮る」ということは事実と異ならないとすればそれは蹴り込む;
$facts$ = fact1: あの通勤時は小さくない fact2: もし仮にあの通勤時が蹴り込むならその経営監督機関は小さくなくてかつ探し続けない fact3: もし「何らかの物は発刊する一方で各停でない」ということは確かでないならば探し続けない fact4: 仮にとあるものは侮るとすると「蹴り込む」ということは成り立つ fact5: 仮にあの通勤時は小さくないなら「発刊するし各停でない」ということは間違いだ ; $hypothesis$ = あの通勤時は探し続ける ; $proof$ = 
fact5 & fact1 -> int1: 「「あの通勤時は発刊するけれど各停でない」ということは誤っている」ということは成り立つ; fact3 -> int2: 「あの通勤時は発刊する一方でそれは各停でない」ということは成り立たないとすればそれは探し続けない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの通勤時は小さくない
事実2: もし仮にあの通勤時が蹴り込むならその経営監督機関は小さくなくてかつ探し続けない
事実3: もし「何らかの物は発刊する一方で各停でない」ということは確かでないならば探し続けない
事実4: 仮にとあるものは侮るとすると「蹴り込む」ということは成り立つ
事実5: 仮にあの通勤時は小さくないなら「発刊するし各停でない」ということは間違いだ

仮説: あの通勤時は探し続ける
1. 事実5と事実1から、推論1: "「「あの通勤時は発刊するけれど各停でない」ということは誤っている」ということは成り立つ"が導かれる
2. 事実3から、推論2: "「あの通勤時は発刊する一方でそれは各停でない」ということは成り立たないとすればそれは探し続けない"が導かれる
3. 推論1と推論2から、仮説が否定される

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