あの認定結果は非公務員型である
fact1: あの蛍光は洒落臭いが懐かしない fact2: この授業時間数は面一であるし収め忘れる fact3: もし仮に「収め忘れるしその上締め出す」物があるとすればあの認定結果は上擦るということはない fact4: もし騒々しくないものが上擦らないとするとそれは非公務員型であるということはない fact5: もしもなんらかの物が洒落臭いけれどそれが懐かしないならばあの認定結果は騒々しくない fact6: 肋骨は締め出す fact7: 「あのリクルート事件はしおらしくないしおまけにそれは登山家らしくない」ということは確かである fact8: 仮にあのリクルート事件がしおらしくなくて更に登山家らしくないとすればこの授業時間数は肋骨である
fact8 & fact7 -> int1: この授業時間数は肋骨だ; fact6 -> int2: もしもこの授業時間数は肋骨であるならばそれは締め出す; int1 & int2 -> int3: この授業時間数は締め出す; fact2 -> int4: この授業時間数は収め忘れる; int3 & int4 -> int5: この授業時間数は収め忘れるしまたそれは締め出す; int5 -> int6: 「収め忘れるししかも締め出す」ものはある; int6 & fact3 -> int7: あの認定結果は上擦らない; fact1 -> int8: 「洒落臭いけど懐かしない」ものはある; fact5 & int8 -> int9: あの認定結果は騒々しくない; int7 & int9 -> int10: あの認定結果は騒々しくないし上擦らない; fact4 -> int11: もしもあの認定結果は騒々しくないし上擦らないとすれば非公務員型でない; int10 & int11 -> hypothesis;
$facts$ = fact1: あの蛍光は洒落臭いが懐かしない fact2: この授業時間数は面一であるし収め忘れる fact3: もし仮に「収め忘れるしその上締め出す」物があるとすればあの認定結果は上擦るということはない fact4: もし騒々しくないものが上擦らないとするとそれは非公務員型であるということはない fact5: もしもなんらかの物が洒落臭いけれどそれが懐かしないならばあの認定結果は騒々しくない fact6: 肋骨は締め出す fact7: 「あのリクルート事件はしおらしくないしおまけにそれは登山家らしくない」ということは確かである fact8: 仮にあのリクルート事件がしおらしくなくて更に登山家らしくないとすればこの授業時間数は肋骨である ; $hypothesis$ = あの認定結果は非公務員型である ; $proof$ = 
fact8 & fact7 -> int1: この授業時間数は肋骨だ; fact6 -> int2: もしもこの授業時間数は肋骨であるならばそれは締め出す; int1 & int2 -> int3: この授業時間数は締め出す; fact2 -> int4: この授業時間数は収め忘れる; int3 & int4 -> int5: この授業時間数は収め忘れるしまたそれは締め出す; int5 -> int6: 「収め忘れるししかも締め出す」ものはある; int6 & fact3 -> int7: あの認定結果は上擦らない; fact1 -> int8: 「洒落臭いけど懐かしない」ものはある; fact5 & int8 -> int9: あの認定結果は騒々しくない; int7 & int9 -> int10: あの認定結果は騒々しくないし上擦らない; fact4 -> int11: もしもあの認定結果は騒々しくないし上擦らないとすれば非公務員型でない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: あの蛍光は洒落臭いが懐かしない
事実2: この授業時間数は面一であるし収め忘れる
事実3: もし仮に「収め忘れるしその上締め出す」物があるとすればあの認定結果は上擦るということはない
事実4: もし騒々しくないものが上擦らないとするとそれは非公務員型であるということはない
事実5: もしもなんらかの物が洒落臭いけれどそれが懐かしないならばあの認定結果は騒々しくない
事実6: 肋骨は締め出す
事実7: 「あのリクルート事件はしおらしくないしおまけにそれは登山家らしくない」ということは確かである
事実8: 仮にあのリクルート事件がしおらしくなくて更に登山家らしくないとすればこの授業時間数は肋骨である

仮説: あの認定結果は非公務員型である
1. 事実8と事実7から、推論1: "この授業時間数は肋骨だ"が導かれる
2. 事実6から、推論2: "もしもこの授業時間数は肋骨であるならばそれは締め出す"が導かれる
3. 推論1と推論2から、推論3: "この授業時間数は締め出す"が導かれる
4. 事実2から、推論4: "この授業時間数は収め忘れる"が導かれる
5. 推論3と推論4から、推論5: "この授業時間数は収め忘れるしまたそれは締め出す"が導かれる
6. 推論5から、推論6: "「収め忘れるししかも締め出す」ものはある"が導かれる
7. 推論6と事実3から、推論7: "あの認定結果は上擦らない"が導かれる
8. 事実1から、推論8: "「洒落臭いけど懐かしない」ものはある"が導かれる
9. 事実5と推論8から、推論9: "あの認定結果は騒々しくない"が導かれる
10. 推論7と推論9から、推論10: "あの認定結果は騒々しくないし上擦らない"が導かれる
11. 事実4から、推論11: "もしもあの認定結果は騒々しくないし上擦らないとすれば非公務員型でない"が導かれる
12. 推論10と推論11から、仮説が否定される

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