この激務は陶器製だということはないかまたは噎せ返らないかどちらもである
fact1: その砂糖量差は陶器製だ fact2: その砂糖量差は受け難くないかもしくはそれは日本労働運動でないかまたは両方ともだ fact3: その砂糖量差はスチューデントならば「この激務は陶器製でないかもしくはそれは噎せ返らないかまたは両方ともだ」ということは成り立たない fact4: 「仮に「なんらかの物は構え易いし加えてねっとりする」ということは成り立たないとしたらスチューデントでない」ということは正しい fact5: この激務はスチューデントである fact6: あるものはスチューデントでないならばそれは陶器製でないかあるいは噎せ返らないかまたはどちらもだ fact7: その砂糖量差はスチューデントだ
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
この激務は陶器製でないか噎せ返らないかまたはどちらもだ
fact9 -> int1: 仮に「この激務はスチューデントでない」ということは確かであるならばそれは陶器製でないかもしくは噎せ返らないかあるいは両方ともだ; fact8 -> int2: 仮に「この激務は構え易いしおまけにねっとりする」ということは成り立つということはないならスチューデントでない;
$facts$ = fact1: その砂糖量差は陶器製だ fact2: その砂糖量差は受け難くないかもしくはそれは日本労働運動でないかまたは両方ともだ fact3: その砂糖量差はスチューデントならば「この激務は陶器製でないかもしくはそれは噎せ返らないかまたは両方ともだ」ということは成り立たない fact4: 「仮に「なんらかの物は構え易いし加えてねっとりする」ということは成り立たないとしたらスチューデントでない」ということは正しい fact5: この激務はスチューデントである fact6: あるものはスチューデントでないならばそれは陶器製でないかあるいは噎せ返らないかまたはどちらもだ fact7: その砂糖量差はスチューデントだ ; $hypothesis$ = この激務は陶器製だということはないかまたは噎せ返らないかどちらもである ; $proof$ = 
fact3 & fact7 -> hypothesis; __DISPROVED__
事実1: その砂糖量差は陶器製だ
事実2: その砂糖量差は受け難くないかもしくはそれは日本労働運動でないかまたは両方ともだ
事実3: その砂糖量差はスチューデントならば「この激務は陶器製でないかもしくはそれは噎せ返らないかまたは両方ともだ」ということは成り立たない
事実4: 「仮に「なんらかの物は構え易いし加えてねっとりする」ということは成り立たないとしたらスチューデントでない」ということは正しい
事実5: この激務はスチューデントである
事実6: あるものはスチューデントでないならばそれは陶器製でないかあるいは噎せ返らないかまたはどちらもだ
事実7: その砂糖量差はスチューデントだ

仮説: この激務は陶器製だということはないかまたは噎せ返らないかどちらもである
1. 事実3と事実7から、仮説が否定される

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