この現代英語は画塾である
fact1: この現代英語はどうして良くない fact2: あのギブアンドテイクはすげなくない fact3: もしこの現代英語はすげなくないとすれば「それは画塾である」ということは成り立つということはない fact4: この現代英語は呉れない fact5: その御師匠さんはすげなくない fact6: この現代英語はプロらしくない fact7: 「あの要目表はすげなくない」ということは成り立つ fact8: 仮にこの現代英語が生じ難いということはないなら履行し合わない fact9: 「その資金流入はすげなくない」ということは成り立つ fact10: この現代英語は反目し合わない fact11: もしこの現代英語がマスター音叉だということはないならその囮鮎は画塾でないけれどすげない fact12: この現代英語はすげなくない fact13: このメーカー主導は画塾でない
fact3 & fact12 -> hypothesis;
fact3 & fact12 -> hypothesis;
その囮鮎は画塾でない
$facts$ = fact1: この現代英語はどうして良くない fact2: あのギブアンドテイクはすげなくない fact3: もしこの現代英語はすげなくないとすれば「それは画塾である」ということは成り立つということはない fact4: この現代英語は呉れない fact5: その御師匠さんはすげなくない fact6: この現代英語はプロらしくない fact7: 「あの要目表はすげなくない」ということは成り立つ fact8: 仮にこの現代英語が生じ難いということはないなら履行し合わない fact9: 「その資金流入はすげなくない」ということは成り立つ fact10: この現代英語は反目し合わない fact11: もしこの現代英語がマスター音叉だということはないならその囮鮎は画塾でないけれどすげない fact12: この現代英語はすげなくない fact13: このメーカー主導は画塾でない ; $hypothesis$ = この現代英語は画塾である ; $proof$ = 
fact3 & fact12 -> hypothesis; __DISPROVED__
事実1: この現代英語はどうして良くない
事実2: あのギブアンドテイクはすげなくない
事実3: もしこの現代英語はすげなくないとすれば「それは画塾である」ということは成り立つということはない
事実4: この現代英語は呉れない
事実5: その御師匠さんはすげなくない
事実6: この現代英語はプロらしくない
事実7: 「あの要目表はすげなくない」ということは成り立つ
事実8: 仮にこの現代英語が生じ難いということはないなら履行し合わない
事実9: 「その資金流入はすげなくない」ということは成り立つ
事実10: この現代英語は反目し合わない
事実11: もしこの現代英語がマスター音叉だということはないならその囮鮎は画塾でないけれどすげない
事実12: この現代英語はすげなくない
事実13: このメーカー主導は画塾でない

仮説: この現代英語は画塾である
1. 事実3と事実12から、仮説が否定される

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