もしもあの無配慮が取り続けるとすればこの遺伝子導入は神社仏閣でなくて隙間無くない
fact1: この遺伝子導入が隙間無くないしさらにそれは分解され難くない fact2: 仮にこの遺伝子導入が分解され難いし隙間無いとしたら取り続けない fact3: もし仮にこの遺伝子導入が隙間無いとすればあのクランク角センサーは神社仏閣だが横取りしない fact4: もしもあの無配慮が取り続けるならばあの遺伝子導入は隙間無くない fact5: 仮にあの無配慮が隙間無いならこの遺伝子導入は分解され難くないしおまけに取り続けない fact6: もし仮にそのクランク角センサーが年間降水量であるならあの無配慮は分解され難い fact7: もしもなんらかの物が取り続けるし更にそれが分解され難いとすれば手厚くない fact8: もし仮にあの無配慮が手厚くないならこの遺伝子導入は神社仏閣でないしかつ隙間無くない fact9: そのクランク角センサーは横取りするしかつ年間降水量だ fact10: あの無配慮は取り続けるしまたそれは隙間無い fact11: この醤油・出し汁は隙間無い一方で悪しくない fact12: この遺伝子導入は横取りする fact13: もしこの遺伝子導入が分解され難いということはないならばあの無配慮は神社仏閣でない fact14: そのクランク角センサーは横取りする
fact9 -> int1: そのクランク角センサーは年間降水量だ; int1 & fact6 -> int2: あの無配慮は分解され難い; void -> assump1: 以下のように仮定する。あの無配慮は取り続ける; int2 & assump1 -> int3: あの無配慮は取り続けるしまたそれは分解され難い; fact7 -> int4: もしもあの無配慮が取り続けるしそれが分解され難いならば手厚くない; int3 & int4 -> int5: あの無配慮は手厚くない; int5 & fact8 -> int6: この遺伝子導入は神社仏閣でなくてしかも隙間無くない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この遺伝子導入が隙間無くないしさらにそれは分解され難くない fact2: 仮にこの遺伝子導入が分解され難いし隙間無いとしたら取り続けない fact3: もし仮にこの遺伝子導入が隙間無いとすればあのクランク角センサーは神社仏閣だが横取りしない fact4: もしもあの無配慮が取り続けるならばあの遺伝子導入は隙間無くない fact5: 仮にあの無配慮が隙間無いならこの遺伝子導入は分解され難くないしおまけに取り続けない fact6: もし仮にそのクランク角センサーが年間降水量であるならあの無配慮は分解され難い fact7: もしもなんらかの物が取り続けるし更にそれが分解され難いとすれば手厚くない fact8: もし仮にあの無配慮が手厚くないならこの遺伝子導入は神社仏閣でないしかつ隙間無くない fact9: そのクランク角センサーは横取りするしかつ年間降水量だ fact10: あの無配慮は取り続けるしまたそれは隙間無い fact11: この醤油・出し汁は隙間無い一方で悪しくない fact12: この遺伝子導入は横取りする fact13: もしこの遺伝子導入が分解され難いということはないならばあの無配慮は神社仏閣でない fact14: そのクランク角センサーは横取りする ; $hypothesis$ = もしもあの無配慮が取り続けるとすればこの遺伝子導入は神社仏閣でなくて隙間無くない ; $proof$ = 
fact9 -> int1: そのクランク角センサーは年間降水量だ; int1 & fact6 -> int2: あの無配慮は分解され難い; void -> assump1: 以下のように仮定する。あの無配慮は取り続ける; int2 & assump1 -> int3: あの無配慮は取り続けるしまたそれは分解され難い; fact7 -> int4: もしもあの無配慮が取り続けるしそれが分解され難いならば手厚くない; int3 & int4 -> int5: あの無配慮は手厚くない; int5 & fact8 -> int6: この遺伝子導入は神社仏閣でなくてしかも隙間無くない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この遺伝子導入が隙間無くないしさらにそれは分解され難くない
事実2: 仮にこの遺伝子導入が分解され難いし隙間無いとしたら取り続けない
事実3: もし仮にこの遺伝子導入が隙間無いとすればあのクランク角センサーは神社仏閣だが横取りしない
事実4: もしもあの無配慮が取り続けるならばあの遺伝子導入は隙間無くない
事実5: 仮にあの無配慮が隙間無いならこの遺伝子導入は分解され難くないしおまけに取り続けない
事実6: もし仮にそのクランク角センサーが年間降水量であるならあの無配慮は分解され難い
事実7: もしもなんらかの物が取り続けるし更にそれが分解され難いとすれば手厚くない
事実8: もし仮にあの無配慮が手厚くないならこの遺伝子導入は神社仏閣でないしかつ隙間無くない
事実9: そのクランク角センサーは横取りするしかつ年間降水量だ
事実10: あの無配慮は取り続けるしまたそれは隙間無い
事実11: この醤油・出し汁は隙間無い一方で悪しくない
事実12: この遺伝子導入は横取りする
事実13: もしこの遺伝子導入が分解され難いということはないならばあの無配慮は神社仏閣でない
事実14: そのクランク角センサーは横取りする

仮説: もしもあの無配慮が取り続けるとすればこの遺伝子導入は神社仏閣でなくて隙間無くない
1. 事実9から、推論1: "そのクランク角センサーは年間降水量だ"が導かれる
2. 推論1と事実6から、推論2: "あの無配慮は分解され難い"が導かれる
3. 仮定1: 以下のように仮定する。あの無配慮は取り続ける
4. 推論2と仮定1から、推論3: "あの無配慮は取り続けるしまたそれは分解され難い"が導かれる
5. 事実7から、推論4: "もしもあの無配慮が取り続けるしそれが分解され難いならば手厚くない"が導かれる
6. 推論3と推論4から、推論5: "あの無配慮は手厚くない"が導かれる
7. 推論5と事実8から、推論6: "この遺伝子導入は神社仏閣でなくてしかも隙間無くない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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