このサルサがすっごーいということはないとしたらこのアロマキャンドルは国家行為でなくてしかもそれはケサランパサランでない
fact1: もし仮にあの果報がケサランパサランでないならばこのアロマキャンドルはケサランパサランでない fact2: もし仮にあの果報が国家行為でないとするとこのアロマキャンドルは国家行為でない fact3: 「あの果報は国家行為である」ということは成り立つとしたらこのサルサはすっごーい fact4: もし仮にあのフィギュアが国家行為だということはないとすると凄まじくないし加えてケサランパサランでない fact5: このＧワンセルはすっごーい fact6: このサルサが国家行為でないとすればこのアロマキャンドルは国家行為でないけれどそれはすっごーい fact7: このアロマキャンドルが国家行為だということはないならばあの果報はすっごーくない fact8: あの果報が国家行為でないとすればこのアロマキャンドルは国家行為でないがしかしそれはケサランパサランだ fact9: もし仮に「このサルサはすっごーいということはない」ということは成り立つならばあのアロマキャンドルは国家行為でないけれどケサランパサランである fact10: 「このアロマキャンドルは切り詰めるということはない」ということは確かである fact11: もし仮にあの果報が国家行為でないならばこのアロマキャンドルは国家行為でないしそれにケサランパサランでない fact12: 仮に「このサルサはすっごーくない」ということは確かであるならこのアロマキャンドルはすっごーくないけどケサランパサランだ fact13: その蔚山Ａ洞は国家行為でない fact14: もしこのサルサはケサランパサランでないとしたら「あの果報はすっごーくないしその上それは国家行為だということはない」ということは事実である fact15: この労働Ｌは国家行為でない fact16: もしこのサルサが国家行為でないとするとあの果報は国家行為でないがしかしすっごーい fact17: もし仮にこのサルサが国家行為でないとすればあのアロマキャンドルはすっごーくないし更にケサランパサランでない
void -> assump1: 以下のように仮定する。あの果報は国家行為である; fact3 & assump1 -> int1: このサルサはすっごーい; void -> assump2: 以下のように仮定する。このサルサはすっごーくない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの果報は国家行為でない; int3 & fact11 -> int4: このアロマキャンドルは国家行為でなくてケサランパサランでない; [assump2] & int4 -> hypothesis;
あのフィギュアは凄まじいということはなくてそれにケサランパサランでない
$facts$ = fact1: もし仮にあの果報がケサランパサランでないならばこのアロマキャンドルはケサランパサランでない fact2: もし仮にあの果報が国家行為でないとするとこのアロマキャンドルは国家行為でない fact3: 「あの果報は国家行為である」ということは成り立つとしたらこのサルサはすっごーい fact4: もし仮にあのフィギュアが国家行為だということはないとすると凄まじくないし加えてケサランパサランでない fact5: このＧワンセルはすっごーい fact6: このサルサが国家行為でないとすればこのアロマキャンドルは国家行為でないけれどそれはすっごーい fact7: このアロマキャンドルが国家行為だということはないならばあの果報はすっごーくない fact8: あの果報が国家行為でないとすればこのアロマキャンドルは国家行為でないがしかしそれはケサランパサランだ fact9: もし仮に「このサルサはすっごーいということはない」ということは成り立つならばあのアロマキャンドルは国家行為でないけれどケサランパサランである fact10: 「このアロマキャンドルは切り詰めるということはない」ということは確かである fact11: もし仮にあの果報が国家行為でないならばこのアロマキャンドルは国家行為でないしそれにケサランパサランでない fact12: 仮に「このサルサはすっごーくない」ということは確かであるならこのアロマキャンドルはすっごーくないけどケサランパサランだ fact13: その蔚山Ａ洞は国家行為でない fact14: もしこのサルサはケサランパサランでないとしたら「あの果報はすっごーくないしその上それは国家行為だということはない」ということは事実である fact15: この労働Ｌは国家行為でない fact16: もしこのサルサが国家行為でないとするとあの果報は国家行為でないがしかしすっごーい fact17: もし仮にこのサルサが国家行為でないとすればあのアロマキャンドルはすっごーくないし更にケサランパサランでない ; $hypothesis$ = このサルサがすっごーいということはないとしたらこのアロマキャンドルは国家行為でなくてしかもそれはケサランパサランでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの果報は国家行為である; fact3 & assump1 -> int1: このサルサはすっごーい; void -> assump2: 以下のように仮定する。このサルサはすっごーくない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの果報は国家行為でない; int3 & fact11 -> int4: このアロマキャンドルは国家行為でなくてケサランパサランでない; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もし仮にあの果報がケサランパサランでないならばこのアロマキャンドルはケサランパサランでない
事実2: もし仮にあの果報が国家行為でないとするとこのアロマキャンドルは国家行為でない
事実3: 「あの果報は国家行為である」ということは成り立つとしたらこのサルサはすっごーい
事実4: もし仮にあのフィギュアが国家行為だということはないとすると凄まじくないし加えてケサランパサランでない
事実5: このＧワンセルはすっごーい
事実6: このサルサが国家行為でないとすればこのアロマキャンドルは国家行為でないけれどそれはすっごーい
事実7: このアロマキャンドルが国家行為だということはないならばあの果報はすっごーくない
事実8: あの果報が国家行為でないとすればこのアロマキャンドルは国家行為でないがしかしそれはケサランパサランだ
事実9: もし仮に「このサルサはすっごーいということはない」ということは成り立つならばあのアロマキャンドルは国家行為でないけれどケサランパサランである
事実10: 「このアロマキャンドルは切り詰めるということはない」ということは確かである
事実11: もし仮にあの果報が国家行為でないならばこのアロマキャンドルは国家行為でないしそれにケサランパサランでない
事実12: 仮に「このサルサはすっごーくない」ということは確かであるならこのアロマキャンドルはすっごーくないけどケサランパサランだ
事実13: その蔚山Ａ洞は国家行為でない
事実14: もしこのサルサはケサランパサランでないとしたら「あの果報はすっごーくないしその上それは国家行為だということはない」ということは事実である
事実15: この労働Ｌは国家行為でない
事実16: もしこのサルサが国家行為でないとするとあの果報は国家行為でないがしかしすっごーい
事実17: もし仮にこのサルサが国家行為でないとすればあのアロマキャンドルはすっごーくないし更にケサランパサランでない

仮説: このサルサがすっごーいということはないとしたらこのアロマキャンドルは国家行為でなくてしかもそれはケサランパサランでない
1. 仮定1: 以下のように仮定する。あの果報は国家行為である
2. 事実3と仮定1から、推論1: "このサルサはすっごーい"が導かれる
3. 仮定2: 以下のように仮定する。このサルサはすっごーくない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの果報は国家行為でない"が導かれる
6. 推論3と事実11から、推論4: "このアロマキャンドルは国家行為でなくてケサランパサランでない"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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