あの癌抑制遺伝子は不思議がる
fact1: プリウスは連結出来る fact2: 「あの代替策は御耳だがしかし取り辛くない」ということは成り立たないとしたらそれはプリウスである fact3: もし仮にその撮影者が膾炙するとすれば渇水時だ fact4: その撮影者は当たり易い fact5: あの代替策は当たり易い fact6: もしも「あの癌抑制遺伝子は連結出来る一方で不思議がるということはない」ということは誤っているとするとそれはプリウスだ fact7: もしあの代替策が連結出来ればその撮影者は膾炙する fact8: なにがしかのものが膾炙しないならばプリウスであるししかも連結出来る fact9: もし仮に「その撮影者は御耳である」ということは確かならあの代替策は膾炙する fact10: あの癌抑制遺伝子は膾炙する fact11: もしあの代替策は凌がないがしかしＲＩＺＥであるとしたらそれは渇水時でない fact12: もしその撮影者が渇水時ならそれは当たり易いということはない fact13: もしもあの代替策は御耳だけど取り辛くないとすると「あの癌抑制遺伝子は不思議がる」ということは成り立つ
void -> assump1: 以下のように仮定する。「「あの代替策は御耳だがしかしそれは取り辛くない」ということは正しい」ということは偽である; fact2 & assump1 -> int1: あの代替策はプリウスである; fact1 -> int2: あの代替策はプリウスであるとするとそれは連結出来る; int1 & int2 -> int3: あの代替策は連結出来る; int3 & fact7 -> int4: その撮影者は膾炙する; int4 & fact3 -> int5: その撮影者は渇水時だ; int5 & fact12 -> int6: その撮影者は当たり易くない; int6 & fact4 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの代替策は御耳だがしかしそれは取り辛くない; int8 & fact13 -> hypothesis;
あの癌抑制遺伝子は不思議がらない
fact14 -> int9: もしもあの代替策が膾炙しないならプリウスで連結出来る;
$facts$ = fact1: プリウスは連結出来る fact2: 「あの代替策は御耳だがしかし取り辛くない」ということは成り立たないとしたらそれはプリウスである fact3: もし仮にその撮影者が膾炙するとすれば渇水時だ fact4: その撮影者は当たり易い fact5: あの代替策は当たり易い fact6: もしも「あの癌抑制遺伝子は連結出来る一方で不思議がるということはない」ということは誤っているとするとそれはプリウスだ fact7: もしあの代替策が連結出来ればその撮影者は膾炙する fact8: なにがしかのものが膾炙しないならばプリウスであるししかも連結出来る fact9: もし仮に「その撮影者は御耳である」ということは確かならあの代替策は膾炙する fact10: あの癌抑制遺伝子は膾炙する fact11: もしあの代替策は凌がないがしかしＲＩＺＥであるとしたらそれは渇水時でない fact12: もしその撮影者が渇水時ならそれは当たり易いということはない fact13: もしもあの代替策は御耳だけど取り辛くないとすると「あの癌抑制遺伝子は不思議がる」ということは成り立つ ; $hypothesis$ = あの癌抑制遺伝子は不思議がる ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの代替策は御耳だがしかしそれは取り辛くない」ということは正しい」ということは偽である; fact2 & assump1 -> int1: あの代替策はプリウスである; fact1 -> int2: あの代替策はプリウスであるとするとそれは連結出来る; int1 & int2 -> int3: あの代替策は連結出来る; int3 & fact7 -> int4: その撮影者は膾炙する; int4 & fact3 -> int5: その撮影者は渇水時だ; int5 & fact12 -> int6: その撮影者は当たり易くない; int6 & fact4 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの代替策は御耳だがしかしそれは取り辛くない; int8 & fact13 -> hypothesis; __PROVED__
事実1: プリウスは連結出来る
事実2: 「あの代替策は御耳だがしかし取り辛くない」ということは成り立たないとしたらそれはプリウスである
事実3: もし仮にその撮影者が膾炙するとすれば渇水時だ
事実4: その撮影者は当たり易い
事実5: あの代替策は当たり易い
事実6: もしも「あの癌抑制遺伝子は連結出来る一方で不思議がるということはない」ということは誤っているとするとそれはプリウスだ
事実7: もしあの代替策が連結出来ればその撮影者は膾炙する
事実8: なにがしかのものが膾炙しないならばプリウスであるししかも連結出来る
事実9: もし仮に「その撮影者は御耳である」ということは確かならあの代替策は膾炙する
事実10: あの癌抑制遺伝子は膾炙する
事実11: もしあの代替策は凌がないがしかしＲＩＺＥであるとしたらそれは渇水時でない
事実12: もしその撮影者が渇水時ならそれは当たり易いということはない
事実13: もしもあの代替策は御耳だけど取り辛くないとすると「あの癌抑制遺伝子は不思議がる」ということは成り立つ

仮説: あの癌抑制遺伝子は不思議がる
1. 仮定1: 以下のように仮定する。「「あの代替策は御耳だがしかしそれは取り辛くない」ということは正しい」ということは偽である
2. 事実2と仮定1から、推論1: "あの代替策はプリウスである"が導かれる
3. 事実1から、推論2: "あの代替策はプリウスであるとするとそれは連結出来る"が導かれる
4. 推論1と推論2から、推論3: "あの代替策は連結出来る"が導かれる
5. 推論3と事実7から、推論4: "その撮影者は膾炙する"が導かれる
6. 推論4と事実3から、推論5: "その撮影者は渇水時だ"が導かれる
7. 推論5と事実12から、推論6: "その撮影者は当たり易くない"が導かれる
8. 推論6と事実4から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの代替策は御耳だがしかしそれは取り辛くない"が導かれる
10. 推論8と事実13から、仮説が導かれる

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