この人生は譲り受ける
fact1: もしこの離職は外国生まれでないなら「この化学受容体は痩せ難いしそれは忍び込む」ということは偽である fact2: その首都圏は清い fact3: この離職はきもくないかあるいはそれは奥深くないかどちらもである fact4: 「「痩せ難いしそれに忍び込む」ということは偽である」物があるとすればこの人生は譲り受けない fact5: その首都圏は賑々しくないけど清い fact6: 仮に痩せ難くないものがあるならこの人生は譲り受けない fact7: もし仮にこの離職はきもくないならば忍び込む fact8: その首都圏が賑々しいということはないがしかし清いとすればこの離職は外国生まれでない fact9: この離職が奥深くないとするとそれは忍び込む fact10: 「痩せ難くておまけに忍び込む」ものはある fact11: この化学受容体は譲り受けない
fact8 & fact5 -> int1: この離職は外国生まれでない; int1 & fact1 -> int2: 「この化学受容体は痩せ難くてそれに忍び込む」ということは事実と異なる; int2 -> int3: 「「痩せ難いしまた忍び込む」ということは誤りな」ものはある; int3 & fact4 -> hypothesis;
その首都圏はパリ大聖堂でないけれど覚え難い
fact12 & fact13 & fact14 -> int4: 「この離職は忍び込む」ということは誤っていない;
$facts$ = fact1: もしこの離職は外国生まれでないなら「この化学受容体は痩せ難いしそれは忍び込む」ということは偽である fact2: その首都圏は清い fact3: この離職はきもくないかあるいはそれは奥深くないかどちらもである fact4: 「「痩せ難いしそれに忍び込む」ということは偽である」物があるとすればこの人生は譲り受けない fact5: その首都圏は賑々しくないけど清い fact6: 仮に痩せ難くないものがあるならこの人生は譲り受けない fact7: もし仮にこの離職はきもくないならば忍び込む fact8: その首都圏が賑々しいということはないがしかし清いとすればこの離職は外国生まれでない fact9: この離職が奥深くないとするとそれは忍び込む fact10: 「痩せ難くておまけに忍び込む」ものはある fact11: この化学受容体は譲り受けない ; $hypothesis$ = この人生は譲り受ける ; $proof$ = 
fact8 & fact5 -> int1: この離職は外国生まれでない; int1 & fact1 -> int2: 「この化学受容体は痩せ難くてそれに忍び込む」ということは事実と異なる; int2 -> int3: 「「痩せ難いしまた忍び込む」ということは誤りな」ものはある; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの離職は外国生まれでないなら「この化学受容体は痩せ難いしそれは忍び込む」ということは偽である
事実2: その首都圏は清い
事実3: この離職はきもくないかあるいはそれは奥深くないかどちらもである
事実4: 「「痩せ難いしそれに忍び込む」ということは偽である」物があるとすればこの人生は譲り受けない
事実5: その首都圏は賑々しくないけど清い
事実6: 仮に痩せ難くないものがあるならこの人生は譲り受けない
事実7: もし仮にこの離職はきもくないならば忍び込む
事実8: その首都圏が賑々しいということはないがしかし清いとすればこの離職は外国生まれでない
事実9: この離職が奥深くないとするとそれは忍び込む
事実10: 「痩せ難くておまけに忍び込む」ものはある
事実11: この化学受容体は譲り受けない

仮説: この人生は譲り受ける
1. 事実8と事実5から、推論1: "この離職は外国生まれでない"が導かれる
2. 推論1と事実1から、推論2: "「この化学受容体は痩せ難くてそれに忍び込む」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「痩せ難いしまた忍び込む」ということは誤りな」ものはある"が導かれる
4. 推論3と事実4から、仮説が否定される

よって、仮説が否定されました。