その宗主は涼む
fact1: その社長交代は涼まない fact2: その宗主は落ち難い fact3: 「あの実験用は田舎臭くなくておまけに同族でない」ということは間違いである fact4: もしも「その宗主は吸い込まないしまたそれはマゾヒズムでない」ということは成り立たないとしたらその社長交代は田舎臭くない fact5: もし仮に「その社長交代は落ち難くないし吸い込まない」ということは偽であるならばその宗主は涼まない fact6: その宗主は田舎臭い fact7: 「その社長交代は浅ましくないしおまけに田舎臭いということはない」ということは成り立つということはない fact8: もし何かはマゾヒズムであるとすれば「それは落ち難くないし吸い込まない」ということは嘘である fact9: その社長交代はマゾヒズムだし加えて田舎臭い fact10: 「そのどすは涼む」ということは成り立つ fact11: その社長交代は潜航するし加えて波浪だ fact12: もしもその社長交代は落ち難いなら「マゾヒズムでないがしかし田舎臭い」ということは間違いだ fact13: 「その社長交代は人身でない一方で伸び易い」ということは誤っている fact14: 「「その宗主はマゾヒズムでないしそれは落ち難いということはない」ということは正しい」ということは成り立たないとしたらその社長交代は涼まない fact15: 仮になんらかのものはマゾヒズムであるとすると「落ち難くないけれど吸い込む」ということは偽だ fact16: もしもその宗主は吸い込むとすると「その社長交代は涼むということはない」ということは成り立つ
fact9 -> int1: その社長交代はマゾヒズムだ; fact8 -> int2: 仮に「その社長交代はマゾヒズムである」ということは成り立てば「落ち難くないしまた吸い込まない」ということは事実だということはない; int1 & int2 -> int3: 「その社長交代は落ち難くなくてその上吸い込まない」ということは成り立たない; int3 & fact5 -> hypothesis;
その宗主は涼む
$facts$ = fact1: その社長交代は涼まない fact2: その宗主は落ち難い fact3: 「あの実験用は田舎臭くなくておまけに同族でない」ということは間違いである fact4: もしも「その宗主は吸い込まないしまたそれはマゾヒズムでない」ということは成り立たないとしたらその社長交代は田舎臭くない fact5: もし仮に「その社長交代は落ち難くないし吸い込まない」ということは偽であるならばその宗主は涼まない fact6: その宗主は田舎臭い fact7: 「その社長交代は浅ましくないしおまけに田舎臭いということはない」ということは成り立つということはない fact8: もし何かはマゾヒズムであるとすれば「それは落ち難くないし吸い込まない」ということは嘘である fact9: その社長交代はマゾヒズムだし加えて田舎臭い fact10: 「そのどすは涼む」ということは成り立つ fact11: その社長交代は潜航するし加えて波浪だ fact12: もしもその社長交代は落ち難いなら「マゾヒズムでないがしかし田舎臭い」ということは間違いだ fact13: 「その社長交代は人身でない一方で伸び易い」ということは誤っている fact14: 「「その宗主はマゾヒズムでないしそれは落ち難いということはない」ということは正しい」ということは成り立たないとしたらその社長交代は涼まない fact15: 仮になんらかのものはマゾヒズムであるとすると「落ち難くないけれど吸い込む」ということは偽だ fact16: もしもその宗主は吸い込むとすると「その社長交代は涼むということはない」ということは成り立つ ; $hypothesis$ = その宗主は涼む ; $proof$ = 
fact9 -> int1: その社長交代はマゾヒズムだ; fact8 -> int2: 仮に「その社長交代はマゾヒズムである」ということは成り立てば「落ち難くないしまた吸い込まない」ということは事実だということはない; int1 & int2 -> int3: 「その社長交代は落ち難くなくてその上吸い込まない」ということは成り立たない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: その社長交代は涼まない
事実2: その宗主は落ち難い
事実3: 「あの実験用は田舎臭くなくておまけに同族でない」ということは間違いである
事実4: もしも「その宗主は吸い込まないしまたそれはマゾヒズムでない」ということは成り立たないとしたらその社長交代は田舎臭くない
事実5: もし仮に「その社長交代は落ち難くないし吸い込まない」ということは偽であるならばその宗主は涼まない
事実6: その宗主は田舎臭い
事実7: 「その社長交代は浅ましくないしおまけに田舎臭いということはない」ということは成り立つということはない
事実8: もし何かはマゾヒズムであるとすれば「それは落ち難くないし吸い込まない」ということは嘘である
事実9: その社長交代はマゾヒズムだし加えて田舎臭い
事実10: 「そのどすは涼む」ということは成り立つ
事実11: その社長交代は潜航するし加えて波浪だ
事実12: もしもその社長交代は落ち難いなら「マゾヒズムでないがしかし田舎臭い」ということは間違いだ
事実13: 「その社長交代は人身でない一方で伸び易い」ということは誤っている
事実14: 「「その宗主はマゾヒズムでないしそれは落ち難いということはない」ということは正しい」ということは成り立たないとしたらその社長交代は涼まない
事実15: 仮になんらかのものはマゾヒズムであるとすると「落ち難くないけれど吸い込む」ということは偽だ
事実16: もしもその宗主は吸い込むとすると「その社長交代は涼むということはない」ということは成り立つ

仮説: その宗主は涼む
1. 事実9から、推論1: "その社長交代はマゾヒズムだ"が導かれる
2. 事実8から、推論2: "仮に「その社長交代はマゾヒズムである」ということは成り立てば「落ち難くないしまた吸い込まない」ということは事実だということはない"が導かれる
3. 推論1と推論2から、推論3: "「その社長交代は落ち難くなくてその上吸い込まない」ということは成り立たない"が導かれる
4. 推論3と事実5から、仮説が否定される

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