そのしょうは返り掛けるということはない
fact1: もしその高等課程が陥り易いがしかし乳臭くないとするとそのしょうは返り掛ける fact2: くどい物は陥り易い一方で乳臭くない fact3: その高等課程はくどいがしかしそれは取り組み易くない fact4: その高等課程は取り組み易くない fact5: 「仮に「そのしょうは取り組み易い」ということは成り立たないとするとそのしょうは返り掛けないしおまけにくどくない」ということは正しい
fact3 -> int1: その高等課程はくどい; fact2 -> int2: もしもその高等課程がくどいならばそれは陥り易いしおまけにそれは乳臭いということはない; int1 & int2 -> int3: その高等課程は陥り易いけれど乳臭くない; int3 & fact1 -> hypothesis;
そのしょうは返り掛けない
$facts$ = fact1: もしその高等課程が陥り易いがしかし乳臭くないとするとそのしょうは返り掛ける fact2: くどい物は陥り易い一方で乳臭くない fact3: その高等課程はくどいがしかしそれは取り組み易くない fact4: その高等課程は取り組み易くない fact5: 「仮に「そのしょうは取り組み易い」ということは成り立たないとするとそのしょうは返り掛けないしおまけにくどくない」ということは正しい ; $hypothesis$ = そのしょうは返り掛けるということはない ; $proof$ = 
fact3 -> int1: その高等課程はくどい; fact2 -> int2: もしもその高等課程がくどいならばそれは陥り易いしおまけにそれは乳臭いということはない; int1 & int2 -> int3: その高等課程は陥り易いけれど乳臭くない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその高等課程が陥り易いがしかし乳臭くないとするとそのしょうは返り掛ける
事実2: くどい物は陥り易い一方で乳臭くない
事実3: その高等課程はくどいがしかしそれは取り組み易くない
事実4: その高等課程は取り組み易くない
事実5: 「仮に「そのしょうは取り組み易い」ということは成り立たないとするとそのしょうは返り掛けないしおまけにくどくない」ということは正しい

仮説: そのしょうは返り掛けるということはない
1. 事実3から、推論1: "その高等課程はくどい"が導かれる
2. 事実2から、推論2: "もしもその高等課程がくどいならばそれは陥り易いしおまけにそれは乳臭いということはない"が導かれる
3. 推論1と推論2から、推論3: "その高等課程は陥り易いけれど乳臭くない"が導かれる
4. 推論3と事実1から、仮説が否定される

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