あの手引き書は受け入れ易くてかわゆい
fact1: この不義が乗り易いならばあの手引き書は受け入れ易い fact2: 「もしあの手引き書が受け入れ易いならばあの手引き書は乗り易い」ということは本当だ fact3: もしもなんらかのものが乗り易いなら日中間でない fact4: 仮に「艶っぽくない」ものはあるとしたら「あの手引き書は蝶形であるしそれはかわゆい」ということは誤っている fact5: あるものはかわゆくない fact6: 仮に「Ｍ字型でない」ものはあれば「あの手引き書が狡賢いしその上それはしかつめらしい」ということは成り立たない fact7: 「あの手引き書は示し易くてそれに具有する」ということは成り立たない fact8: この不義は生まれ易くない fact9: 「乗り易い」物はある fact10: なにがしかの物は乗り易いということはないなら「あの手引き書は受け入れ易いしそれはかわゆい」ということは間違っている fact11: 「あの手引き書は築き難いしさらに航空魚雷である」ということは間違っている fact12: 仮にこの不義が生まれ易くないとすると乗り易いしさらに利用し易い fact13: 「乗り易くない」物はある
fact13 & fact10 -> hypothesis;
「日中間であるということはない」物はある
fact14 -> int1: もし仮にあの手引き書が乗り易いとしたらそれは日中間でない;
$facts$ = fact1: この不義が乗り易いならばあの手引き書は受け入れ易い fact2: 「もしあの手引き書が受け入れ易いならばあの手引き書は乗り易い」ということは本当だ fact3: もしもなんらかのものが乗り易いなら日中間でない fact4: 仮に「艶っぽくない」ものはあるとしたら「あの手引き書は蝶形であるしそれはかわゆい」ということは誤っている fact5: あるものはかわゆくない fact6: 仮に「Ｍ字型でない」ものはあれば「あの手引き書が狡賢いしその上それはしかつめらしい」ということは成り立たない fact7: 「あの手引き書は示し易くてそれに具有する」ということは成り立たない fact8: この不義は生まれ易くない fact9: 「乗り易い」物はある fact10: なにがしかの物は乗り易いということはないなら「あの手引き書は受け入れ易いしそれはかわゆい」ということは間違っている fact11: 「あの手引き書は築き難いしさらに航空魚雷である」ということは間違っている fact12: 仮にこの不義が生まれ易くないとすると乗り易いしさらに利用し易い fact13: 「乗り易くない」物はある ; $hypothesis$ = あの手引き書は受け入れ易くてかわゆい ; $proof$ = 
fact13 & fact10 -> hypothesis; __DISPROVED__
事実1: この不義が乗り易いならばあの手引き書は受け入れ易い
事実2: 「もしあの手引き書が受け入れ易いならばあの手引き書は乗り易い」ということは本当だ
事実3: もしもなんらかのものが乗り易いなら日中間でない
事実4: 仮に「艶っぽくない」ものはあるとしたら「あの手引き書は蝶形であるしそれはかわゆい」ということは誤っている
事実5: あるものはかわゆくない
事実6: 仮に「Ｍ字型でない」ものはあれば「あの手引き書が狡賢いしその上それはしかつめらしい」ということは成り立たない
事実7: 「あの手引き書は示し易くてそれに具有する」ということは成り立たない
事実8: この不義は生まれ易くない
事実9: 「乗り易い」物はある
事実10: なにがしかの物は乗り易いということはないなら「あの手引き書は受け入れ易いしそれはかわゆい」ということは間違っている
事実11: 「あの手引き書は築き難いしさらに航空魚雷である」ということは間違っている
事実12: 仮にこの不義が生まれ易くないとすると乗り易いしさらに利用し易い
事実13: 「乗り易くない」物はある

仮説: あの手引き書は受け入れ易くてかわゆい
1. 事実13と事実10から、仮説が否定される

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