その東海道中膝栗毛は香辛であるということはない
fact1: 仮にその東海道中膝栗毛が取り急ぐということはないとしたらこのショートカットキーはＤＩＭＭでない fact2: もしもその東海道中膝栗毛は取り急ぐということはないとすれば「このショートカットキーは香辛でない」ということは確かだ fact3: このショートカットキーは取り急がないならば「その東海道中膝栗毛はＤＩＭＭでない」ということは確かである fact4: 「その東海道中膝栗毛はＤＩＭＭでないけれどそれは嫉妬深い」ということは間違っているとしたらこのショートカットキーは香辛でない fact5: 仮にこのショートカットキーが香辛でないとすればあの東海道中膝栗毛は取り急がない fact6: 仮にこのショートカットキーはＤＩＭＭでないとすると「取り急ぐということはなくてまたそれは嫉妬深い」ということは成り立たない fact7: 仮にある物がＤＩＭＭだとすればそれは香辛である fact8: もし仮に「その東海道中膝栗毛はＤＩＭＭでない一方でそれは香辛である」ということは成り立たないならこのショートカットキーは取り急がない fact9: あのバトルモードは取り急がない fact10: もし仮に「このショートカットキーは取り急がないけれど嫉妬深い」ということは本当でないとしたらその東海道中膝栗毛は香辛であるということはない fact11: このショートカットキーはＤＩＭＭでない
fact6 & fact11 -> int1: 「このショートカットキーは取り急がないけど嫉妬深い」ということは事実と異なる; int1 & fact10 -> hypothesis;
その東海道中膝栗毛は香辛だ
fact12 -> int2: その東海道中膝栗毛はＤＩＭＭであるとすればそれは香辛である;
$facts$ = fact1: 仮にその東海道中膝栗毛が取り急ぐということはないとしたらこのショートカットキーはＤＩＭＭでない fact2: もしもその東海道中膝栗毛は取り急ぐということはないとすれば「このショートカットキーは香辛でない」ということは確かだ fact3: このショートカットキーは取り急がないならば「その東海道中膝栗毛はＤＩＭＭでない」ということは確かである fact4: 「その東海道中膝栗毛はＤＩＭＭでないけれどそれは嫉妬深い」ということは間違っているとしたらこのショートカットキーは香辛でない fact5: 仮にこのショートカットキーが香辛でないとすればあの東海道中膝栗毛は取り急がない fact6: 仮にこのショートカットキーはＤＩＭＭでないとすると「取り急ぐということはなくてまたそれは嫉妬深い」ということは成り立たない fact7: 仮にある物がＤＩＭＭだとすればそれは香辛である fact8: もし仮に「その東海道中膝栗毛はＤＩＭＭでない一方でそれは香辛である」ということは成り立たないならこのショートカットキーは取り急がない fact9: あのバトルモードは取り急がない fact10: もし仮に「このショートカットキーは取り急がないけれど嫉妬深い」ということは本当でないとしたらその東海道中膝栗毛は香辛であるということはない fact11: このショートカットキーはＤＩＭＭでない ; $hypothesis$ = その東海道中膝栗毛は香辛であるということはない ; $proof$ = 
fact6 & fact11 -> int1: 「このショートカットキーは取り急がないけど嫉妬深い」ということは事実と異なる; int1 & fact10 -> hypothesis; __PROVED__
事実1: 仮にその東海道中膝栗毛が取り急ぐということはないとしたらこのショートカットキーはＤＩＭＭでない
事実2: もしもその東海道中膝栗毛は取り急ぐということはないとすれば「このショートカットキーは香辛でない」ということは確かだ
事実3: このショートカットキーは取り急がないならば「その東海道中膝栗毛はＤＩＭＭでない」ということは確かである
事実4: 「その東海道中膝栗毛はＤＩＭＭでないけれどそれは嫉妬深い」ということは間違っているとしたらこのショートカットキーは香辛でない
事実5: 仮にこのショートカットキーが香辛でないとすればあの東海道中膝栗毛は取り急がない
事実6: 仮にこのショートカットキーはＤＩＭＭでないとすると「取り急ぐということはなくてまたそれは嫉妬深い」ということは成り立たない
事実7: 仮にある物がＤＩＭＭだとすればそれは香辛である
事実8: もし仮に「その東海道中膝栗毛はＤＩＭＭでない一方でそれは香辛である」ということは成り立たないならこのショートカットキーは取り急がない
事実9: あのバトルモードは取り急がない
事実10: もし仮に「このショートカットキーは取り急がないけれど嫉妬深い」ということは本当でないとしたらその東海道中膝栗毛は香辛であるということはない
事実11: このショートカットキーはＤＩＭＭでない

仮説: その東海道中膝栗毛は香辛であるということはない
1. 事実6と事実11から、推論1: "「このショートカットキーは取り急がないけど嫉妬深い」ということは事実と異なる"が導かれる
2. 推論1と事実10から、仮説が導かれる

よって、仮説が証明されました。