この学生委員は浸軟しない
fact1: 仮に何らかの物が経済更生部でなくて軍人らしくないとしたらそれは浸軟しない fact2: 「あの人物達は経済更生部である」ということは事実である fact3: もしあの人物達が軍人らしいし更に経済更生部であるとしたらこの学生委員は親族関係でない fact4: もし仮にあの人物達が軍人らしいし浸軟すればこの学生委員は親族関係でない fact5: あの人物達は軍人らしい fact6: 仮になにがしかの物は親族関係でないならばそれは浸軟する fact7: あの人物達が親族関係であるしその上浸軟するならこの学生委員は軍人らしいということはない fact8: 「「この学生委員が経済更生部だけどそれは根本的解決でない」ということは誤っている」ということは嘘でない fact9: もし仮に「何かは経済更生部だがしかし根本的解決でない」ということは間違っているとすればそれは経済更生部でない
fact5 & fact2 -> int1: あの人物達は軍人らしいししかも経済更生部である; int1 & fact3 -> int2: この学生委員は親族関係でない; fact6 -> int3: 仮にこの学生委員は親族関係でないとするとそれは浸軟する; int2 & int3 -> hypothesis;
この学生委員は浸軟しない
fact10 -> int4: この学生委員は経済更生部でないし軍人らしくないならばそれは浸軟するということはない; fact11 -> int5: もしも「この学生委員は経済更生部だが根本的解決でない」ということは事実でないとしたら経済更生部でない; int5 & fact12 -> int6: この学生委員は経済更生部でない;
$facts$ = fact1: 仮に何らかの物が経済更生部でなくて軍人らしくないとしたらそれは浸軟しない fact2: 「あの人物達は経済更生部である」ということは事実である fact3: もしあの人物達が軍人らしいし更に経済更生部であるとしたらこの学生委員は親族関係でない fact4: もし仮にあの人物達が軍人らしいし浸軟すればこの学生委員は親族関係でない fact5: あの人物達は軍人らしい fact6: 仮になにがしかの物は親族関係でないならばそれは浸軟する fact7: あの人物達が親族関係であるしその上浸軟するならこの学生委員は軍人らしいということはない fact8: 「「この学生委員が経済更生部だけどそれは根本的解決でない」ということは誤っている」ということは嘘でない fact9: もし仮に「何かは経済更生部だがしかし根本的解決でない」ということは間違っているとすればそれは経済更生部でない ; $hypothesis$ = この学生委員は浸軟しない ; $proof$ = 
fact5 & fact2 -> int1: あの人物達は軍人らしいししかも経済更生部である; int1 & fact3 -> int2: この学生委員は親族関係でない; fact6 -> int3: 仮にこの学生委員は親族関係でないとするとそれは浸軟する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物が経済更生部でなくて軍人らしくないとしたらそれは浸軟しない
事実2: 「あの人物達は経済更生部である」ということは事実である
事実3: もしあの人物達が軍人らしいし更に経済更生部であるとしたらこの学生委員は親族関係でない
事実4: もし仮にあの人物達が軍人らしいし浸軟すればこの学生委員は親族関係でない
事実5: あの人物達は軍人らしい
事実6: 仮になにがしかの物は親族関係でないならばそれは浸軟する
事実7: あの人物達が親族関係であるしその上浸軟するならこの学生委員は軍人らしいということはない
事実8: 「「この学生委員が経済更生部だけどそれは根本的解決でない」ということは誤っている」ということは嘘でない
事実9: もし仮に「何かは経済更生部だがしかし根本的解決でない」ということは間違っているとすればそれは経済更生部でない

仮説: この学生委員は浸軟しない
1. 事実5と事実2から、推論1: "あの人物達は軍人らしいししかも経済更生部である"が導かれる
2. 推論1と事実3から、推論2: "この学生委員は親族関係でない"が導かれる
3. 事実6から、推論3: "仮にこの学生委員は親族関係でないとするとそれは浸軟する"が導かれる
4. 推論2と推論3から、仮説が否定される

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