この技術的特徴は年末調整制度である
fact1: もし「あの医学的情報は誇りっぽくないし加えてそれは新しくない」ということは事実と異なるなら消耗し切らない fact2: もし「あの廃棄物は予測方法だ一方で消耗し切らない」ということは間違っているとすればこの技術的特徴は予測方法でない fact3: あの医学的情報は電力量料金でないならば「誇りっぽくないし更に新しくない」ということは成り立つということはない fact4: 「あの廃棄物は息苦しいがしかし消耗し切らない」ということは成り立たないならば「この技術的特徴は息苦しくない」ということは事実だ fact5: 「あの廃棄物は予測方法であるが消耗し切るということはない」ということは事実と異なる fact6: あの休木曜が電力量料金でないならばあの医学的情報は電力量料金でない fact7: 「年末調整制度でないしその上予測方法である」物はある fact8: 「「載荷面でないけれど薄い」ということは成り立たない」物はある fact9: もし「「載荷面でなくてまた薄い」ということは成り立たない」物があるとしたらこの技術的特徴は息苦しくない fact10: もしもこの技術的特徴は息苦しいということはないしその上予測方法でないとすると「それは年末調整制度でない」ということは確かである
fact8 & fact9 -> int1: この技術的特徴は息苦しいということはない; fact5 & fact2 -> int2: この技術的特徴は予測方法でない; int1 & int2 -> int3: この技術的特徴は息苦しくないしそれは予測方法でない; int3 & fact10 -> hypothesis;
fact8 & fact9 -> int1: ¬{A}{a}; fact5 & fact2 -> int2: ¬{B}{a}; int1 & int2 -> int3: (¬{A}{a} & ¬{B}{a}); int3 & fact10 -> hypothesis;
「この技術的特徴は年末調整制度だ」ということは成り立つ
$facts$ = fact1: もし「あの医学的情報は誇りっぽくないし加えてそれは新しくない」ということは事実と異なるなら消耗し切らない fact2: もし「あの廃棄物は予測方法だ一方で消耗し切らない」ということは間違っているとすればこの技術的特徴は予測方法でない fact3: あの医学的情報は電力量料金でないならば「誇りっぽくないし更に新しくない」ということは成り立つということはない fact4: 「あの廃棄物は息苦しいがしかし消耗し切らない」ということは成り立たないならば「この技術的特徴は息苦しくない」ということは事実だ fact5: 「あの廃棄物は予測方法であるが消耗し切るということはない」ということは事実と異なる fact6: あの休木曜が電力量料金でないならばあの医学的情報は電力量料金でない fact7: 「年末調整制度でないしその上予測方法である」物はある fact8: 「「載荷面でないけれど薄い」ということは成り立たない」物はある fact9: もし「「載荷面でなくてまた薄い」ということは成り立たない」物があるとしたらこの技術的特徴は息苦しくない fact10: もしもこの技術的特徴は息苦しいということはないしその上予測方法でないとすると「それは年末調整制度でない」ということは確かである ; $hypothesis$ = この技術的特徴は年末調整制度である ; $proof$ = 
fact8 & fact9 -> int1: この技術的特徴は息苦しいということはない; fact5 & fact2 -> int2: この技術的特徴は予測方法でない; int1 & int2 -> int3: この技術的特徴は息苦しくないしそれは予測方法でない; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: もし「あの医学的情報は誇りっぽくないし加えてそれは新しくない」ということは事実と異なるなら消耗し切らない
事実2: もし「あの廃棄物は予測方法だ一方で消耗し切らない」ということは間違っているとすればこの技術的特徴は予測方法でない
事実3: あの医学的情報は電力量料金でないならば「誇りっぽくないし更に新しくない」ということは成り立つということはない
事実4: 「あの廃棄物は息苦しいがしかし消耗し切らない」ということは成り立たないならば「この技術的特徴は息苦しくない」ということは事実だ
事実5: 「あの廃棄物は予測方法であるが消耗し切るということはない」ということは事実と異なる
事実6: あの休木曜が電力量料金でないならばあの医学的情報は電力量料金でない
事実7: 「年末調整制度でないしその上予測方法である」物はある
事実8: 「「載荷面でないけれど薄い」ということは成り立たない」物はある
事実9: もし「「載荷面でなくてまた薄い」ということは成り立たない」物があるとしたらこの技術的特徴は息苦しくない
事実10: もしもこの技術的特徴は息苦しいということはないしその上予測方法でないとすると「それは年末調整制度でない」ということは確かである

仮説: この技術的特徴は年末調整制度である
1. 事実8と事実9から、推論1: "この技術的特徴は息苦しいということはない"が導かれる
2. 事実5と事実2から、推論2: "この技術的特徴は予測方法でない"が導かれる
3. 推論1と推論2から、推論3: "この技術的特徴は息苦しくないしそれは予測方法でない"が導かれる
4. 推論3と事実10から、仮説が否定される

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