あの分は当て付けがましかない
fact1: あのスリーは物悲しくないとすると「それが僻みっぽいということはないしその上それは深刻化する」ということは成り立たない fact2: もし「何らかの物は僻みっぽくないけれど深刻化する」ということは誤りなら協力共同だということはない fact3: もしもこの引き延ばし機が模写するということはないとするとあの分はがめついかまたは配達労働者でない fact4: 「あのスリーは税務署員でなくてまた時間数でない」ということは成り立つということはない fact5: この巨人軍は毛深くない fact6: もし仮に何かは共同利用しないなら「それは当て付けがましいしその上模写する」ということは成り立たない fact7: もしもあのスリーが面白いとすれば物悲しくない fact8: あの事務系はマーキーである fact9: この引き延ばし機は模写しない fact10: もしこの巨人軍が毛深くなくて改めないとすればこの引き延ばし機はげんなりする fact11: 仮になにがしかの物は協力共同でないなら「それは寝苦しくてさらにそれは疎くない」ということは成り立たない fact12: もし何らかのものがげんなりしないなら共同利用しない fact13: もしもあの事務系が歩み出るとすると解し難い fact14: もしもあの事務系がマーキーならそれは指示出来る fact15: 仮にこの引き延ばし機がげんなりするしかつそれが疎いとしたらあの分はげんなりしない fact16: もし仮にあるものが模写しないとするとがめついかもしくは等分でないかもしくはどちらもだ fact17: あの分はがめついかもしくは配達労働者であるかもしくは両方である fact18: もしこの引き延ばし機が模写しないならあの分はがめついかもしくは配達労働者だ fact19: この自治会長は模写しない fact20: あの事務系が解し難くて更に指示出来るとしたらこの巨人軍は改めない fact21: 仮にあの分はがめついかまたは配達労働者でないかあるいはどちらもであるならそれは当て付けがましい fact22: もし「とある物は当て付けがましいしまた模写する」ということは成り立たないならばそれは当て付けがましかない fact23: もし仮に「あのスリーは税務署員でなくて加えて時間数であるということはない」ということは誤りであるならそれは面白い fact24: あの事務系は歩み出る
fact3 & fact9 -> int1: あの分はがめついか配達労働者であるということはない; int1 & fact21 -> hypothesis;
fact3 & fact9 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact21 -> hypothesis;
あの分は当て付けがましかない
fact34 -> int2: もし「「あの分は当て付けがましいし模写する」ということは誤っている」ということは確かだとするとそれは当て付けがましかない; fact35 -> int3: もしあの分は共同利用しないとすれば「それは当て付けがましいししかも模写する」ということは偽だ; fact38 -> int4: あの分がげんなりしないならそれは共同利用するということはない; fact31 & fact39 -> int5: 「あの事務系は解し難い」ということは事実と異ならない; fact29 & fact37 -> int6: あの事務系は指示出来る; int5 & int6 -> int7: あの事務系は解し難いしおまけに指示出来る; fact32 & int7 -> int8: この巨人軍は改めない; fact40 & int8 -> int9: この巨人軍は毛深いということはなくておまけに改めない; fact28 & int9 -> int10: この引き延ばし機はげんなりする; fact25 -> int11: もしもあのスリーは協力共同でないとすると「それは寝苦しいし疎くない」ということは事実と異なる; fact26 -> int12: もし「あのスリーは僻みっぽくないが深刻化する」ということは間違っているならそれは協力共同でない; fact27 & fact33 -> int13: あのスリーは面白い; fact41 & int13 -> int14: あのスリーは物悲しくない; fact30 & int14 -> int15: 「あのスリーは僻みっぽくないが深刻化する」ということは間違っている; int12 & int15 -> int16: あのスリーは協力共同でない; int11 & int16 -> int17: 「あのスリーは寝苦しいがしかし疎くない」ということは間違っている; int17 -> int18: 「「寝苦しいがしかし疎いということはない」ということは誤りな」ものはある;
$facts$ = fact1: あのスリーは物悲しくないとすると「それが僻みっぽいということはないしその上それは深刻化する」ということは成り立たない fact2: もし「何らかの物は僻みっぽくないけれど深刻化する」ということは誤りなら協力共同だということはない fact3: もしもこの引き延ばし機が模写するということはないとするとあの分はがめついかまたは配達労働者でない fact4: 「あのスリーは税務署員でなくてまた時間数でない」ということは成り立つということはない fact5: この巨人軍は毛深くない fact6: もし仮に何かは共同利用しないなら「それは当て付けがましいしその上模写する」ということは成り立たない fact7: もしもあのスリーが面白いとすれば物悲しくない fact8: あの事務系はマーキーである fact9: この引き延ばし機は模写しない fact10: もしこの巨人軍が毛深くなくて改めないとすればこの引き延ばし機はげんなりする fact11: 仮になにがしかの物は協力共同でないなら「それは寝苦しくてさらにそれは疎くない」ということは成り立たない fact12: もし何らかのものがげんなりしないなら共同利用しない fact13: もしもあの事務系が歩み出るとすると解し難い fact14: もしもあの事務系がマーキーならそれは指示出来る fact15: 仮にこの引き延ばし機がげんなりするしかつそれが疎いとしたらあの分はげんなりしない fact16: もし仮にあるものが模写しないとするとがめついかもしくは等分でないかもしくはどちらもだ fact17: あの分はがめついかもしくは配達労働者であるかもしくは両方である fact18: もしこの引き延ばし機が模写しないならあの分はがめついかもしくは配達労働者だ fact19: この自治会長は模写しない fact20: あの事務系が解し難くて更に指示出来るとしたらこの巨人軍は改めない fact21: 仮にあの分はがめついかまたは配達労働者でないかあるいはどちらもであるならそれは当て付けがましい fact22: もし「とある物は当て付けがましいしまた模写する」ということは成り立たないならばそれは当て付けがましかない fact23: もし仮に「あのスリーは税務署員でなくて加えて時間数であるということはない」ということは誤りであるならそれは面白い fact24: あの事務系は歩み出る ; $hypothesis$ = あの分は当て付けがましかない ; $proof$ = 
fact3 & fact9 -> int1: あの分はがめついか配達労働者であるということはない; int1 & fact21 -> hypothesis; __DISPROVED__
事実1: あのスリーは物悲しくないとすると「それが僻みっぽいということはないしその上それは深刻化する」ということは成り立たない
事実2: もし「何らかの物は僻みっぽくないけれど深刻化する」ということは誤りなら協力共同だということはない
事実3: もしもこの引き延ばし機が模写するということはないとするとあの分はがめついかまたは配達労働者でない
事実4: 「あのスリーは税務署員でなくてまた時間数でない」ということは成り立つということはない
事実5: この巨人軍は毛深くない
事実6: もし仮に何かは共同利用しないなら「それは当て付けがましいしその上模写する」ということは成り立たない
事実7: もしもあのスリーが面白いとすれば物悲しくない
事実8: あの事務系はマーキーである
事実9: この引き延ばし機は模写しない
事実10: もしこの巨人軍が毛深くなくて改めないとすればこの引き延ばし機はげんなりする
事実11: 仮になにがしかの物は協力共同でないなら「それは寝苦しくてさらにそれは疎くない」ということは成り立たない
事実12: もし何らかのものがげんなりしないなら共同利用しない
事実13: もしもあの事務系が歩み出るとすると解し難い
事実14: もしもあの事務系がマーキーならそれは指示出来る
事実15: 仮にこの引き延ばし機がげんなりするしかつそれが疎いとしたらあの分はげんなりしない
事実16: もし仮にあるものが模写しないとするとがめついかもしくは等分でないかもしくはどちらもだ
事実17: あの分はがめついかもしくは配達労働者であるかもしくは両方である
事実18: もしこの引き延ばし機が模写しないならあの分はがめついかもしくは配達労働者だ
事実19: この自治会長は模写しない
事実20: あの事務系が解し難くて更に指示出来るとしたらこの巨人軍は改めない
事実21: 仮にあの分はがめついかまたは配達労働者でないかあるいはどちらもであるならそれは当て付けがましい
事実22: もし「とある物は当て付けがましいしまた模写する」ということは成り立たないならばそれは当て付けがましかない
事実23: もし仮に「あのスリーは税務署員でなくて加えて時間数であるということはない」ということは誤りであるならそれは面白い
事実24: あの事務系は歩み出る

仮説: あの分は当て付けがましかない
1. 事実3と事実9から、推論1: "あの分はがめついか配達労働者であるということはない"が導かれる
2. 推論1と事実21から、仮説が否定される

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