「その辻々は御話しするけれどそれは亡くならない」ということは間違いだ
fact1: あのテスト法は配備するかもしくは卓見でないかもしくは両方ともである fact2: 乏しい美容整形は御話ししない fact3: あのテスト法は配備しないかもしくはそれは卓見でない fact4: あの再挑戦は乏しい fact5: 仮にあの再挑戦が乏しいとしたらその辻々は御話しする fact6: あのテスト法が配備しないかあるいはそれが乏しくないか両方だとすればあの再挑戦は亡くならない fact7: あのテスト法が配備しないかもしくは卓見でないかまたは両方ともであるならばその辻々は亡くならない fact8: もしもあの再挑戦が乏しくないかもしくはそれが亡くならないならばその辻々は御話しするということはない fact9: あのテスト法は狭苦しくないかもしくはそれは犯し難いということはない
fact7 & fact3 -> int1: その辻々は亡くなるということはない; fact5 & fact4 -> int2: その辻々は御話しする; int1 & int2 -> hypothesis;
「その辻々は御話しするけれど亡くなるということはない」ということは誤りである
fact10 -> int3: もし仮にあのテスト法は美容整形で乏しいとすればそれは御話しするということはない;
$facts$ = fact1: あのテスト法は配備するかもしくは卓見でないかもしくは両方ともである fact2: 乏しい美容整形は御話ししない fact3: あのテスト法は配備しないかもしくはそれは卓見でない fact4: あの再挑戦は乏しい fact5: 仮にあの再挑戦が乏しいとしたらその辻々は御話しする fact6: あのテスト法が配備しないかあるいはそれが乏しくないか両方だとすればあの再挑戦は亡くならない fact7: あのテスト法が配備しないかもしくは卓見でないかまたは両方ともであるならばその辻々は亡くならない fact8: もしもあの再挑戦が乏しくないかもしくはそれが亡くならないならばその辻々は御話しするということはない fact9: あのテスト法は狭苦しくないかもしくはそれは犯し難いということはない ; $hypothesis$ = 「その辻々は御話しするけれどそれは亡くならない」ということは間違いだ ; $proof$ = 
fact7 & fact3 -> int1: その辻々は亡くなるということはない; fact5 & fact4 -> int2: その辻々は御話しする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのテスト法は配備するかもしくは卓見でないかもしくは両方ともである
事実2: 乏しい美容整形は御話ししない
事実3: あのテスト法は配備しないかもしくはそれは卓見でない
事実4: あの再挑戦は乏しい
事実5: 仮にあの再挑戦が乏しいとしたらその辻々は御話しする
事実6: あのテスト法が配備しないかあるいはそれが乏しくないか両方だとすればあの再挑戦は亡くならない
事実7: あのテスト法が配備しないかもしくは卓見でないかまたは両方ともであるならばその辻々は亡くならない
事実8: もしもあの再挑戦が乏しくないかもしくはそれが亡くならないならばその辻々は御話しするということはない
事実9: あのテスト法は狭苦しくないかもしくはそれは犯し難いということはない

仮説: 「その辻々は御話しするけれどそれは亡くならない」ということは間違いだ
1. 事実7と事実3から、推論1: "その辻々は亡くなるということはない"が導かれる
2. 事実5と事実4から、推論2: "その辻々は御話しする"が導かれる
3. 推論1と推論2から、仮説が否定される

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