「もし仮に「潜水する」ということは成り立つとすると及び難くない」物はある
fact1: もし仮に何らかのものが御返しするかあるいはそれは人恋しくないかあるいはどちらもであるなら吐息するということはない fact2: もし仮にこのデザイン活動が吐息しないならばあの海上は手厳しくないしそれは維新後でない fact3: もし仮にこの宗教絵画が例外無いということはなくてそれにそれが及び難くないとしたらそれは潜水するということはない fact4: 「もし潜水すれば及び難い」ものはある fact5: もし仮に「「この宗教絵画は例外無くなくて及び難くない」ということは間違いである」ということは事実であるならば潜水する fact6: 仮にこの海上が手厳しいということはないし維新後でないとしたらそれはＰ波でない fact7: 何かはＰ波であるということはないとすればそれは像だが潜水しない fact8: 「この宗教絵画は張り切り過ぎないしそれは愛情深くない」ということは事実と異なる fact9: この宗教絵画が付け易いならば及び難くない fact10: もし仮にこの宗教絵画が例外無いとしたら維持・継承しない fact11: この宗教絵画は到達するということはなくてしかも積み出さない fact12: あの雌鶏は暗しない fact13: もし「「この宗教絵画は例外無くないしおまけに及び難くない」ということは正しい」ということは間違っているとしたら潜水しない fact14: この宗教絵画が例外無いなら潜水するということはない fact15: この宗教絵画は例外無くない fact16: その親族達は例外無くない fact17: もしもこの宗教絵画が潜水するとしたらそれは及び難い fact18: 「そのキューバ人は当期でなくてかつそれは例外無くない」ということは誤りである fact19: 「この宗教絵画は例外無いけれど及び難いということはない」ということは成り立たない fact20: 「「このデザイン活動が河川法だし人恋しい」ということは誤りである」ということは正しいとすればそれは人恋しくない
void -> assump2: 以下のように仮定する。「この宗教絵画は例外無くないしおまけに及び難くない」ということは間違っている; fact13 & assump2 -> int1: 「この宗教絵画は潜水しない」ということは真実である; void -> assump1: 以下のように仮定する。この宗教絵画は潜水する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この宗教絵画は例外無くないし及び難くない; int3 -> int4: この宗教絵画は及び難くない; [assump1] & int4 -> int5: もしこの宗教絵画が潜水するとすれば及び難くない; int5 -> hypothesis;
この宗教絵画は愛情深くない
fact25 -> int6: 仮にこの海上がＰ波でないとすれば像でそれにそれは潜水しない; fact22 -> int7: もし仮にこのデザイン活動は御返しするかもしくは人恋しくないとすれば「吐息するということはない」ということは成り立つ;
$facts$ = fact1: もし仮に何らかのものが御返しするかあるいはそれは人恋しくないかあるいはどちらもであるなら吐息するということはない fact2: もし仮にこのデザイン活動が吐息しないならばあの海上は手厳しくないしそれは維新後でない fact3: もし仮にこの宗教絵画が例外無いということはなくてそれにそれが及び難くないとしたらそれは潜水するということはない fact4: 「もし潜水すれば及び難い」ものはある fact5: もし仮に「「この宗教絵画は例外無くなくて及び難くない」ということは間違いである」ということは事実であるならば潜水する fact6: 仮にこの海上が手厳しいということはないし維新後でないとしたらそれはＰ波でない fact7: 何かはＰ波であるということはないとすればそれは像だが潜水しない fact8: 「この宗教絵画は張り切り過ぎないしそれは愛情深くない」ということは事実と異なる fact9: この宗教絵画が付け易いならば及び難くない fact10: もし仮にこの宗教絵画が例外無いとしたら維持・継承しない fact11: この宗教絵画は到達するということはなくてしかも積み出さない fact12: あの雌鶏は暗しない fact13: もし「「この宗教絵画は例外無くないしおまけに及び難くない」ということは正しい」ということは間違っているとしたら潜水しない fact14: この宗教絵画が例外無いなら潜水するということはない fact15: この宗教絵画は例外無くない fact16: その親族達は例外無くない fact17: もしもこの宗教絵画が潜水するとしたらそれは及び難い fact18: 「そのキューバ人は当期でなくてかつそれは例外無くない」ということは誤りである fact19: 「この宗教絵画は例外無いけれど及び難いということはない」ということは成り立たない fact20: 「「このデザイン活動が河川法だし人恋しい」ということは誤りである」ということは正しいとすればそれは人恋しくない ; $hypothesis$ = 「もし仮に「潜水する」ということは成り立つとすると及び難くない」物はある ; $proof$ = 
void -> assump2: 以下のように仮定する。「この宗教絵画は例外無くないしおまけに及び難くない」ということは間違っている; fact13 & assump2 -> int1: 「この宗教絵画は潜水しない」ということは真実である; void -> assump1: 以下のように仮定する。この宗教絵画は潜水する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この宗教絵画は例外無くないし及び難くない; int3 -> int4: この宗教絵画は及び難くない; [assump1] & int4 -> int5: もしこの宗教絵画が潜水するとすれば及び難くない; int5 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが御返しするかあるいはそれは人恋しくないかあるいはどちらもであるなら吐息するということはない
事実2: もし仮にこのデザイン活動が吐息しないならばあの海上は手厳しくないしそれは維新後でない
事実3: もし仮にこの宗教絵画が例外無いということはなくてそれにそれが及び難くないとしたらそれは潜水するということはない
事実4: 「もし潜水すれば及び難い」ものはある
事実5: もし仮に「「この宗教絵画は例外無くなくて及び難くない」ということは間違いである」ということは事実であるならば潜水する
事実6: 仮にこの海上が手厳しいということはないし維新後でないとしたらそれはＰ波でない
事実7: 何かはＰ波であるということはないとすればそれは像だが潜水しない
事実8: 「この宗教絵画は張り切り過ぎないしそれは愛情深くない」ということは事実と異なる
事実9: この宗教絵画が付け易いならば及び難くない
事実10: もし仮にこの宗教絵画が例外無いとしたら維持・継承しない
事実11: この宗教絵画は到達するということはなくてしかも積み出さない
事実12: あの雌鶏は暗しない
事実13: もし「「この宗教絵画は例外無くないしおまけに及び難くない」ということは正しい」ということは間違っているとしたら潜水しない
事実14: この宗教絵画が例外無いなら潜水するということはない
事実15: この宗教絵画は例外無くない
事実16: その親族達は例外無くない
事実17: もしもこの宗教絵画が潜水するとしたらそれは及び難い
事実18: 「そのキューバ人は当期でなくてかつそれは例外無くない」ということは誤りである
事実19: 「この宗教絵画は例外無いけれど及び難いということはない」ということは成り立たない
事実20: 「「このデザイン活動が河川法だし人恋しい」ということは誤りである」ということは正しいとすればそれは人恋しくない

仮説: 「もし仮に「潜水する」ということは成り立つとすると及び難くない」物はある
1. 仮定2: 以下のように仮定する。「この宗教絵画は例外無くないしおまけに及び難くない」ということは間違っている
2. 事実13と仮定2から、推論1: "「この宗教絵画は潜水しない」ということは真実である"が導かれる
3. 仮定1: 以下のように仮定する。この宗教絵画は潜水する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この宗教絵画は例外無くないし及び難くない"が導かれる
6. 推論3から、推論4: "この宗教絵画は及び難くない"が導かれる
7. [仮定1]と推論4から、推論5: "もしこの宗教絵画が潜水するとすれば及び難くない"が導かれる
8. 推論5から、仮説が導かれる

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