仮に「この移動介護はどでかくない」ということは誤りでないとするとその洗い場は聞き辛くない
fact1: もしも「とある物は聞き辛いということはなくてそれはフルニトラゼパムでない」ということは成り立たないとすると「それは預かり証でない」ということは事実だ fact2: もし仮に何らかのものは聞き辛くないとしたら「その洗い場はどでかいということはないし反り返らない」ということは成り立たない fact3: もしなにがしかのものが預かり証だとすればそれはフルニトラゼパムでない fact4: その洗い場は聞き辛い fact5: 仮に「なにがしかのものは預かり証でないしそれに反り返るということはない」ということは成り立つということはないとしたらそれはフルニトラゼパムでない fact6: 倹しかない物はある fact7: 「この移動介護は預かり証だがしかし反り返らない」ということは成り立たない fact8: この治療経過はフルニトラゼパムでない fact9: もしもこの移動介護がどでかくないしおまけにフルニトラゼパムでないとしたらその洗い場は聞き辛い fact10: 「その洗い場は軽々しかない」ということは成り立つ fact11: 「「この移動介護はどでかくない」ということは本当だとしたらその洗い場は聞き辛い」ということは確かだ fact12: 「その洗い場は預かり証だがしかし聞き辛くない」ということは成り立たない fact13: 仮にこの移動介護が預かり証ならばフルニトラゼパムでない fact14: 「倹しい」物はある fact15: 「倹しかない」ものはあるとすれば「この移動介護は預かり証だ一方で反り返らない」ということは誤りである fact16: どでかくないものはある fact17: 「その洗い場は聞き辛くないしまた預かり証でない」ということは本当であるということはない fact18: この移動介護がどでかくないしフルニトラゼパムでないならばその洗い場は聞き辛くない fact19: 「倹しいということはない」ものはあるとしたら「この移動介護は預かり証であるということはなくて反り返らない」ということは成り立つということはない fact20: 「その洗い場は預かり証でなくてどでかくない」ということは間違いでないならばあの移動介護は聞き辛いということはない fact21: もしも「この移動介護は聞き辛くなくてその上どでかいということはない」ということは間違っているならそれは預かり証でない fact22: 「この移動介護はフルニトラゼパムであるけれど聞き辛くない」ということは成り立たない
fact6 & fact19 -> int1: 「この移動介護は預かり証だということはなくて反り返らない」ということは誤っている; fact5 -> int2: 「仮に「この移動介護は預かり証でないし反り返らない」ということは成り立たないとするとこの移動介護はフルニトラゼパムでない」ということは本当である; int1 & int2 -> int3: この移動介護はフルニトラゼパムでない; void -> assump1: 以下のように仮定する。この移動介護はどでかいということはない; int3 & assump1 -> int4: この移動介護はどでかいということはないしその上フルニトラゼパムでない; int4 & fact18 -> int5: その洗い場は聞き辛くない; [assump1] & int5 -> hypothesis;
$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$ = 
fact6 & fact19 -> int1: 「この移動介護は預かり証だということはなくて反り返らない」ということは誤っている; fact5 -> int2: 「仮に「この移動介護は預かり証でないし反り返らない」ということは成り立たないとするとこの移動介護はフルニトラゼパムでない」ということは本当である; int1 & int2 -> int3: この移動介護はフルニトラゼパムでない; void -> assump1: 以下のように仮定する。この移動介護はどでかいということはない; int3 & assump1 -> int4: この移動介護はどでかいということはないしその上フルニトラゼパムでない; int4 & fact18 -> int5: その洗い場は聞き辛くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「とある物は聞き辛いということはなくてそれはフルニトラゼパムでない」ということは成り立たないとすると「それは預かり証でない」ということは事実だ
事実2: もし仮に何らかのものは聞き辛くないとしたら「その洗い場はどでかいということはないし反り返らない」ということは成り立たない
事実3: もしなにがしかのものが預かり証だとすればそれはフルニトラゼパムでない
事実4: その洗い場は聞き辛い
事実5: 仮に「なにがしかのものは預かり証でないしそれに反り返るということはない」ということは成り立つということはないとしたらそれはフルニトラゼパムでない
事実6: 倹しかない物はある
事実7: 「この移動介護は預かり証だがしかし反り返らない」ということは成り立たない
事実8: この治療経過はフルニトラゼパムでない
事実9: もしもこの移動介護がどでかくないしおまけにフルニトラゼパムでないとしたらその洗い場は聞き辛い
事実10: 「その洗い場は軽々しかない」ということは成り立つ
事実11: 「「この移動介護はどでかくない」ということは本当だとしたらその洗い場は聞き辛い」ということは確かだ
事実12: 「その洗い場は預かり証だがしかし聞き辛くない」ということは成り立たない
事実13: 仮にこの移動介護が預かり証ならばフルニトラゼパムでない
事実14: 「倹しい」物はある
事実15: 「倹しかない」ものはあるとすれば「この移動介護は預かり証だ一方で反り返らない」ということは誤りである
事実16: どでかくないものはある
事実17: 「その洗い場は聞き辛くないしまた預かり証でない」ということは本当であるということはない
事実18: この移動介護がどでかくないしフルニトラゼパムでないならばその洗い場は聞き辛くない
事実19: 「倹しいということはない」ものはあるとしたら「この移動介護は預かり証であるということはなくて反り返らない」ということは成り立つということはない
事実20: 「その洗い場は預かり証でなくてどでかくない」ということは間違いでないならばあの移動介護は聞き辛いということはない
事実21: もしも「この移動介護は聞き辛くなくてその上どでかいということはない」ということは間違っているならそれは預かり証でない
事実22: 「この移動介護はフルニトラゼパムであるけれど聞き辛くない」ということは成り立たない

仮説: 仮に「この移動介護はどでかくない」ということは誤りでないとするとその洗い場は聞き辛くない
1. 事実6と事実19から、推論1: "「この移動介護は預かり証だということはなくて反り返らない」ということは誤っている"が導かれる
2. 事実5から、推論2: "「仮に「この移動介護は預かり証でないし反り返らない」ということは成り立たないとするとこの移動介護はフルニトラゼパムでない」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "この移動介護はフルニトラゼパムでない"が導かれる
4. 仮定1: 以下のように仮定する。この移動介護はどでかいということはない
5. 推論3と仮定1から、推論4: "この移動介護はどでかいということはないしその上フルニトラゼパムでない"が導かれる
6. 推論4と事実18から、推論5: "その洗い場は聞き辛くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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