あの希望事項は縮減する
fact1: もしもせせこましくないものは痴呆症であるということはないとしたらそれはそつでない fact2: あの希望事項は御偉い fact3: もし「なにかはびびるということはない」ということは成り立てばそれはせせこましくなくてまた痴呆症でない fact4: あの希望事項は拭き切れる fact5: 誇りっぽい物はある fact6: もし仮に「「そつである」ということは確かである」ものがあるならあの希望事項は御偉いけど縮減しない fact7: 仮に「内膜な」ものがあるとすればあの希望事項は御偉い fact8: 「縮減する」物はある fact9: もし仮に「なんらかの物はびびらない」ということは本当であるならば「「せせこましいしかつそれは痴呆症である」ということは成り立つ」ということは事実と異なる fact10: もし仮に「あの希望事項は縮減するしおまけに御偉い」ということは本当でないとするとその進歩は御偉くない fact11: この一捻りは御偉い fact12: あの希望事項は信じ易くない fact13: あの宝酒造は縮減する fact14: この監査人が御安いとしたらあの除細動器はびびるがしかし紳士らしくない fact15: もしもあの除細動器がびびる一方で紳士らしくないとしたらあの希望事項はびびらない fact16: 仮にそつがあるとすればあの希望事項は御偉い fact17: あの希望事項が御偉くないとすればそつだし縮減する fact18: とある物はそつだ fact19: その身分登録証書は金融費用でない fact20: もしもあの除細動器が御安くないとすればびびらないけれど紳士らしい fact21: 仮に「縮減する」ものがあるとしたらあの希望事項は御偉い fact22: 仮にその身分登録証書が金融費用でないならあのペンチは大人しくない
fact18 & fact6 -> int1: あの希望事項は御偉いが縮減しない; int1 -> hypothesis;
あの希望事項は縮減する
fact23 -> int2: あの除細動器はびびらないなら「せせこましくてまた痴呆症だ」ということは成り立たない;
$facts$ = fact1: もしもせせこましくないものは痴呆症であるということはないとしたらそれはそつでない fact2: あの希望事項は御偉い fact3: もし「なにかはびびるということはない」ということは成り立てばそれはせせこましくなくてまた痴呆症でない fact4: あの希望事項は拭き切れる fact5: 誇りっぽい物はある fact6: もし仮に「「そつである」ということは確かである」ものがあるならあの希望事項は御偉いけど縮減しない fact7: 仮に「内膜な」ものがあるとすればあの希望事項は御偉い fact8: 「縮減する」物はある fact9: もし仮に「なんらかの物はびびらない」ということは本当であるならば「「せせこましいしかつそれは痴呆症である」ということは成り立つ」ということは事実と異なる fact10: もし仮に「あの希望事項は縮減するしおまけに御偉い」ということは本当でないとするとその進歩は御偉くない fact11: この一捻りは御偉い fact12: あの希望事項は信じ易くない fact13: あの宝酒造は縮減する fact14: この監査人が御安いとしたらあの除細動器はびびるがしかし紳士らしくない fact15: もしもあの除細動器がびびる一方で紳士らしくないとしたらあの希望事項はびびらない fact16: 仮にそつがあるとすればあの希望事項は御偉い fact17: あの希望事項が御偉くないとすればそつだし縮減する fact18: とある物はそつだ fact19: その身分登録証書は金融費用でない fact20: もしもあの除細動器が御安くないとすればびびらないけれど紳士らしい fact21: 仮に「縮減する」ものがあるとしたらあの希望事項は御偉い fact22: 仮にその身分登録証書が金融費用でないならあのペンチは大人しくない ; $hypothesis$ = あの希望事項は縮減する ; $proof$ = 
fact18 & fact6 -> int1: あの希望事項は御偉いが縮減しない; int1 -> hypothesis; __DISPROVED__
事実1: もしもせせこましくないものは痴呆症であるということはないとしたらそれはそつでない
事実2: あの希望事項は御偉い
事実3: もし「なにかはびびるということはない」ということは成り立てばそれはせせこましくなくてまた痴呆症でない
事実4: あの希望事項は拭き切れる
事実5: 誇りっぽい物はある
事実6: もし仮に「「そつである」ということは確かである」ものがあるならあの希望事項は御偉いけど縮減しない
事実7: 仮に「内膜な」ものがあるとすればあの希望事項は御偉い
事実8: 「縮減する」物はある
事実9: もし仮に「なんらかの物はびびらない」ということは本当であるならば「「せせこましいしかつそれは痴呆症である」ということは成り立つ」ということは事実と異なる
事実10: もし仮に「あの希望事項は縮減するしおまけに御偉い」ということは本当でないとするとその進歩は御偉くない
事実11: この一捻りは御偉い
事実12: あの希望事項は信じ易くない
事実13: あの宝酒造は縮減する
事実14: この監査人が御安いとしたらあの除細動器はびびるがしかし紳士らしくない
事実15: もしもあの除細動器がびびる一方で紳士らしくないとしたらあの希望事項はびびらない
事実16: 仮にそつがあるとすればあの希望事項は御偉い
事実17: あの希望事項が御偉くないとすればそつだし縮減する
事実18: とある物はそつだ
事実19: その身分登録証書は金融費用でない
事実20: もしもあの除細動器が御安くないとすればびびらないけれど紳士らしい
事実21: 仮に「縮減する」ものがあるとしたらあの希望事項は御偉い
事実22: 仮にその身分登録証書が金融費用でないならあのペンチは大人しくない

仮説: あの希望事項は縮減する
1. 事実18と事実6から、推論1: "あの希望事項は御偉いが縮減しない"が導かれる
2. 推論1から、仮説が否定される

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