その緊張緩和は捕らえ難い
fact1: とある物は捕らえ難い fact2: その緊張緩和は移民政策である fact3: この食中毒が移民政策であるしさらに捕らえ難いとすると共鳴し易いということはない fact4: もし仮にこの使者は姦淫するとすれば「この食中毒は移民政策でなくておまけに角張らない」ということは成り立たない fact5: 「その緊張緩和は共鳴し易い」ということは真実だ fact6: もし仮にその緊張緩和が姦淫するししかも捕らえ難いとすればそれは共鳴し易くない fact7: 「移民政策な」物はある fact8: その緊張緩和は手助けする fact9: もし仮に「この食中毒は共鳴し易い」ということは誤っていないとしたらその緊張緩和は移民政策だ fact10: なんらかのものは角張る fact11: その緊張緩和は起こし易いしかつ悪賢い fact12: もし仮に「感染し易い」ものがあるならばあの食中毒は捕らえ難い fact13: 「角張る」物があればこの食中毒は移民政策である fact14: もし仮にこの使者が継承すか縮小表示するということはないかもしくは両方ともであるとすれば縮小表示するということはない fact15: もしなにがしかのものが縮小表示するということはないならそれは姦淫するし共鳴し易い fact16: その緊張緩和は腐り易くない fact17: もし仮にこの食中毒が移民政策ならその緊張緩和は姦淫する fact18: もし仮になにかは捕らえ難いとすればあの緊張緩和はレストアートだ fact19: その緊張緩和は放冷する fact20: その緊張緩和は過不足無い fact21: もしも政策実施が就業形態ならチーンでない fact22: その緊張緩和が移民政策だとするとこの食中毒は共鳴し易い fact23: もし「「ふにゃふにゃする」ということは確かな」ものがあるとするとその緊張緩和は小アトリエだ fact24: もしもこの食中毒は共鳴し易くて捕らえ難いならば移民政策でない
fact10 & fact13 -> int1: この食中毒は移民政策だ; int1 & fact17 -> int2: その緊張緩和は姦淫する; void -> assump1: 以下のように仮定する。その緊張緩和は捕らえ難い; int2 & assump1 -> int3: その緊張緩和は姦淫するしまたそれは捕らえ難い; int3 & fact6 -> int4: その緊張緩和は共鳴し易くない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その緊張緩和は捕らえ難い
fact25 -> int6: もしこの使者が縮小表示するということはないとすれば姦淫するし共鳴し易い;
$facts$ = fact1: とある物は捕らえ難い fact2: その緊張緩和は移民政策である fact3: この食中毒が移民政策であるしさらに捕らえ難いとすると共鳴し易いということはない fact4: もし仮にこの使者は姦淫するとすれば「この食中毒は移民政策でなくておまけに角張らない」ということは成り立たない fact5: 「その緊張緩和は共鳴し易い」ということは真実だ fact6: もし仮にその緊張緩和が姦淫するししかも捕らえ難いとすればそれは共鳴し易くない fact7: 「移民政策な」物はある fact8: その緊張緩和は手助けする fact9: もし仮に「この食中毒は共鳴し易い」ということは誤っていないとしたらその緊張緩和は移民政策だ fact10: なんらかのものは角張る fact11: その緊張緩和は起こし易いしかつ悪賢い fact12: もし仮に「感染し易い」ものがあるならばあの食中毒は捕らえ難い fact13: 「角張る」物があればこの食中毒は移民政策である fact14: もし仮にこの使者が継承すか縮小表示するということはないかもしくは両方ともであるとすれば縮小表示するということはない fact15: もしなにがしかのものが縮小表示するということはないならそれは姦淫するし共鳴し易い fact16: その緊張緩和は腐り易くない fact17: もし仮にこの食中毒が移民政策ならその緊張緩和は姦淫する fact18: もし仮になにかは捕らえ難いとすればあの緊張緩和はレストアートだ fact19: その緊張緩和は放冷する fact20: その緊張緩和は過不足無い fact21: もしも政策実施が就業形態ならチーンでない fact22: その緊張緩和が移民政策だとするとこの食中毒は共鳴し易い fact23: もし「「ふにゃふにゃする」ということは確かな」ものがあるとするとその緊張緩和は小アトリエだ fact24: もしもこの食中毒は共鳴し易くて捕らえ難いならば移民政策でない ; $hypothesis$ = その緊張緩和は捕らえ難い ; $proof$ = 
fact10 & fact13 -> int1: この食中毒は移民政策だ; int1 & fact17 -> int2: その緊張緩和は姦淫する; void -> assump1: 以下のように仮定する。その緊張緩和は捕らえ難い; int2 & assump1 -> int3: その緊張緩和は姦淫するしまたそれは捕らえ難い; int3 & fact6 -> int4: その緊張緩和は共鳴し易くない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: とある物は捕らえ難い
事実2: その緊張緩和は移民政策である
事実3: この食中毒が移民政策であるしさらに捕らえ難いとすると共鳴し易いということはない
事実4: もし仮にこの使者は姦淫するとすれば「この食中毒は移民政策でなくておまけに角張らない」ということは成り立たない
事実5: 「その緊張緩和は共鳴し易い」ということは真実だ
事実6: もし仮にその緊張緩和が姦淫するししかも捕らえ難いとすればそれは共鳴し易くない
事実7: 「移民政策な」物はある
事実8: その緊張緩和は手助けする
事実9: もし仮に「この食中毒は共鳴し易い」ということは誤っていないとしたらその緊張緩和は移民政策だ
事実10: なんらかのものは角張る
事実11: その緊張緩和は起こし易いしかつ悪賢い
事実12: もし仮に「感染し易い」ものがあるならばあの食中毒は捕らえ難い
事実13: 「角張る」物があればこの食中毒は移民政策である
事実14: もし仮にこの使者が継承すか縮小表示するということはないかもしくは両方ともであるとすれば縮小表示するということはない
事実15: もしなにがしかのものが縮小表示するということはないならそれは姦淫するし共鳴し易い
事実16: その緊張緩和は腐り易くない
事実17: もし仮にこの食中毒が移民政策ならその緊張緩和は姦淫する
事実18: もし仮になにかは捕らえ難いとすればあの緊張緩和はレストアートだ
事実19: その緊張緩和は放冷する
事実20: その緊張緩和は過不足無い
事実21: もしも政策実施が就業形態ならチーンでない
事実22: その緊張緩和が移民政策だとするとこの食中毒は共鳴し易い
事実23: もし「「ふにゃふにゃする」ということは確かな」ものがあるとするとその緊張緩和は小アトリエだ
事実24: もしもこの食中毒は共鳴し易くて捕らえ難いならば移民政策でない

仮説: その緊張緩和は捕らえ難い
1. 事実10と事実13から、推論1: "この食中毒は移民政策だ"が導かれる
2. 推論1と事実17から、推論2: "その緊張緩和は姦淫する"が導かれる
3. 仮定1: 以下のように仮定する。その緊張緩和は捕らえ難い
4. 推論2と仮定1から、推論3: "その緊張緩和は姦淫するしまたそれは捕らえ難い"が導かれる
5. 推論3と事実6から、推論4: "その緊張緩和は共鳴し易くない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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