このファイナルは馴染み難いということはない
fact1: 「この研究会は休み無しだということはない」ということは成り立つとするとこの語学学校は休み無しであるということはない fact2: 仮に「「このインスティチューションは御寂しいかまたはそれは手酷くないかまたはどちらもである」ということは成り立つ」ということは嘘であるとしたらこのファイナルは馴染み難い fact3: 「この純文学は人間臭いしさらにざわつく」ということは間違いだ fact4: 「休み無しは防止するか馴染み難くないかまたは両方だ」ということは真実である fact5: 「この純文学は人間臭くないけれどざわつく」ということは嘘である fact6: もしこの語学学校が呼び入れるとするとあのベストテンは規格単位だ fact7: 仮に「あるものは御忘れるしそれに手酷い」ということは間違いならば「それは手酷いということはない」ということは成り立つ fact8: 「この研究会は運び易いし休み無しだ」ということは成り立たない fact9: この通例は御寂しくない fact10: もしとある物が感慨深いならこのインスティチューションは手酷い fact11: もしもあのベストテンが規格単位ならこの通例は感慨深い fact12: このインスティチューションは手酷い fact13: もし仮に「この語学学校は感慨深い」ということは本当だとすると「この純文学は規格単位だが呼び入れるということはない」ということは成り立たない fact14: もしこの純文学が防止するとしたらこのファイナルは馴染み難くない fact15: もしも何かは御寂しくないとしたら「あのベストテンは御忘れるしそれに手酷い」ということは間違いだ fact16: 「ある物が規格単位だけどそれは呼び入れない」ということは成り立たないとすれば呼び入れる fact17: 「この純文学は人間臭くないけどざわつく」ということは間違いならば「この語学学校は防止する」ということは本当である fact18: もしもこの研究会がざわつくならこの純文学は運び易い fact19: もしなにがしかのものが休み無しでないならばせせら笑うし消化器でない fact20: もしも「この研究会は運び易くて更に休み無しである」ということは偽であるとすればこの語学学校は休み無しでない fact21: もしも「このインスティチューションは御寂しいかもしくは手酷い」ということは誤っているならこのファイナルは馴染み難い fact22: もしも何らかの物は防止するが休み無しでないなら呼び入れる fact23: 仮にあのベストテンが手酷くないとしたらそれは感慨深くない fact24: もし仮に「「感慨深い」ものはある」ということは成り立つとすれば「このインスティチューションは御寂しいかまたはそれは手酷くない」ということは間違いだ fact25: もし何かはざわつくけれど休み無しでないとすれば手酷い fact26: 仮にこの純文学が人間臭いとするとこの語学学校は防止する
fact17 & fact5 -> int1: この語学学校は防止する; fact8 & fact20 -> int2: この語学学校は休み無しだということはない; int1 & int2 -> int3: この語学学校は防止するけど休み無しでない; fact22 -> int4: 「もし仮にこの語学学校が防止するが休み無しでないとするとこの語学学校は呼び入れる」ということは確かだ; int3 & int4 -> int5: この語学学校は呼び入れる; int5 & fact6 -> int6: あのベストテンは規格単位だ; int6 & fact11 -> int7: この通例は感慨深い; int7 -> int8: 「感慨深い」物はある; int8 & fact24 -> int9: 「このインスティチューションは御寂しいか手酷くない」ということは成り立たない; int9 & fact2 -> hypothesis;
このファイナルは馴染み難くない
fact29 -> int10: この純文学は休み無しであるとしたら防止するか馴染み難くないかもしくはどちらもだ; fact30 -> int11: もしも「この純文学は規格単位であるが呼び入れない」ということは偽であるならば呼び入れる; fact33 -> int12: 「あのベストテンは御忘れるし手酷い」ということは偽であるならばそれは手酷くない; fact31 -> int13: 「御寂しくない」ものはある; int13 & fact34 -> int14: 「あのベストテンは御忘れるしそれは手酷い」ということは成り立たない; int12 & int14 -> int15: あのベストテンは手酷くない; fact32 & int15 -> int16: あのベストテンは感慨深くない;
$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: もし仮に「「感慨深い」ものはある」ということは成り立つとすれば「このインスティチューションは御寂しいかまたはそれは手酷くない」ということは間違いだ fact25: もし何かはざわつくけれど休み無しでないとすれば手酷い fact26: 仮にこの純文学が人間臭いとするとこの語学学校は防止する ; $hypothesis$ = このファイナルは馴染み難いということはない ; $proof$ = 
fact17 & fact5 -> int1: この語学学校は防止する; fact8 & fact20 -> int2: この語学学校は休み無しだということはない; int1 & int2 -> int3: この語学学校は防止するけど休み無しでない; fact22 -> int4: 「もし仮にこの語学学校が防止するが休み無しでないとするとこの語学学校は呼び入れる」ということは確かだ; int3 & int4 -> int5: この語学学校は呼び入れる; int5 & fact6 -> int6: あのベストテンは規格単位だ; int6 & fact11 -> int7: この通例は感慨深い; int7 -> int8: 「感慨深い」物はある; int8 & fact24 -> int9: 「このインスティチューションは御寂しいか手酷くない」ということは成り立たない; int9 & fact2 -> 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: もし仮に「「感慨深い」ものはある」ということは成り立つとすれば「このインスティチューションは御寂しいかまたはそれは手酷くない」ということは間違いだ
事実25: もし何かはざわつくけれど休み無しでないとすれば手酷い
事実26: 仮にこの純文学が人間臭いとするとこの語学学校は防止する

仮説: このファイナルは馴染み難いということはない
1. 事実17と事実5から、推論1: "この語学学校は防止する"が導かれる
2. 事実8と事実20から、推論2: "この語学学校は休み無しだということはない"が導かれる
3. 推論1と推論2から、推論3: "この語学学校は防止するけど休み無しでない"が導かれる
4. 事実22から、推論4: "「もし仮にこの語学学校が防止するが休み無しでないとするとこの語学学校は呼び入れる」ということは確かだ"が導かれる
5. 推論3と推論4から、推論5: "この語学学校は呼び入れる"が導かれる
6. 推論5と事実6から、推論6: "あのベストテンは規格単位だ"が導かれる
7. 推論6と事実11から、推論7: "この通例は感慨深い"が導かれる
8. 推論7から、推論8: "「感慨深い」物はある"が導かれる
9. 推論8と事実24から、推論9: "「このインスティチューションは御寂しいか手酷くない」ということは成り立たない"が導かれる
10. 推論9と事実2から、仮説が否定される

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