この有資格者は習慣化しない
fact1: もし仮に「この罹患率は発信元でないがしかし連携する」ということは誤りであるならばこの有資格者は発信元である fact2: もしも「その婦人論は習慣化するということはない一方で専念する」ということは間違っているとしたら長引かない fact3: この罹患率はＥＸＥでない fact4: その婦人論は長引く fact5: 「この罹患率は発信元でないけど連携する」ということは誤りだ fact6: もしもこの罹患率が発信元でないとすると長引くしその上それは止めする fact7: もし仮にこの有資格者が止めするしそれが逃れ難いとすればそれは習慣化しない fact8: その事後求償は御機嫌様だ fact9: 「このアーウィン・ショーは潜在するししかもそれは収支だ」ということは事実だ fact10: 仮にその婦人論は連携する一方で長引くということはないとしたら逃れ難くない fact11: あの最重要ポイントは長引く fact12: 「この有資格者は御機嫌様でないけれどそれは専念する」ということは嘘なら発信元でない fact13: もしもこの有資格者が長引けばこの二世帯住宅は長引く fact14: もしもこの有資格者は御機嫌様でない一方で専念すれば止めする fact15: もしその婦人論が長引くならこの有資格者は逃れ難い fact16: 仮にこの罹患率が長引くとしたらこの有資格者は長引く fact17: その婦人論は連携する
void -> assump1: 以下のように仮定する。「この有資格者は御機嫌様でない一方で専念する」ということは偽だ; fact12 & assump1 -> int1: この有資格者は発信元でない; fact1 & fact5 -> int2: この有資格者は発信元である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この有資格者は御機嫌様でないけど専念する; int4 & fact14 -> int5: この有資格者は止めする; fact4 & fact15 -> int6: この有資格者は逃れ難い; int5 & int6 -> int7: この有資格者は止めするしおまけにそれは逃れ難い; int7 & fact7 -> hypothesis;
この有資格者は習慣化する
$facts$ = fact1: もし仮に「この罹患率は発信元でないがしかし連携する」ということは誤りであるならばこの有資格者は発信元である fact2: もしも「その婦人論は習慣化するということはない一方で専念する」ということは間違っているとしたら長引かない fact3: この罹患率はＥＸＥでない fact4: その婦人論は長引く fact5: 「この罹患率は発信元でないけど連携する」ということは誤りだ fact6: もしもこの罹患率が発信元でないとすると長引くしその上それは止めする fact7: もし仮にこの有資格者が止めするしそれが逃れ難いとすればそれは習慣化しない fact8: その事後求償は御機嫌様だ fact9: 「このアーウィン・ショーは潜在するししかもそれは収支だ」ということは事実だ fact10: 仮にその婦人論は連携する一方で長引くということはないとしたら逃れ難くない fact11: あの最重要ポイントは長引く fact12: 「この有資格者は御機嫌様でないけれどそれは専念する」ということは嘘なら発信元でない fact13: もしもこの有資格者が長引けばこの二世帯住宅は長引く fact14: もしもこの有資格者は御機嫌様でない一方で専念すれば止めする fact15: もしその婦人論が長引くならこの有資格者は逃れ難い fact16: 仮にこの罹患率が長引くとしたらこの有資格者は長引く fact17: その婦人論は連携する ; $hypothesis$ = この有資格者は習慣化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この有資格者は御機嫌様でない一方で専念する」ということは偽だ; fact12 & assump1 -> int1: この有資格者は発信元でない; fact1 & fact5 -> int2: この有資格者は発信元である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この有資格者は御機嫌様でないけど専念する; int4 & fact14 -> int5: この有資格者は止めする; fact4 & fact15 -> int6: この有資格者は逃れ難い; int5 & int6 -> int7: この有資格者は止めするしおまけにそれは逃れ難い; int7 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「この罹患率は発信元でないがしかし連携する」ということは誤りであるならばこの有資格者は発信元である
事実2: もしも「その婦人論は習慣化するということはない一方で専念する」ということは間違っているとしたら長引かない
事実3: この罹患率はＥＸＥでない
事実4: その婦人論は長引く
事実5: 「この罹患率は発信元でないけど連携する」ということは誤りだ
事実6: もしもこの罹患率が発信元でないとすると長引くしその上それは止めする
事実7: もし仮にこの有資格者が止めするしそれが逃れ難いとすればそれは習慣化しない
事実8: その事後求償は御機嫌様だ
事実9: 「このアーウィン・ショーは潜在するししかもそれは収支だ」ということは事実だ
事実10: 仮にその婦人論は連携する一方で長引くということはないとしたら逃れ難くない
事実11: あの最重要ポイントは長引く
事実12: 「この有資格者は御機嫌様でないけれどそれは専念する」ということは嘘なら発信元でない
事実13: もしもこの有資格者が長引けばこの二世帯住宅は長引く
事実14: もしもこの有資格者は御機嫌様でない一方で専念すれば止めする
事実15: もしその婦人論が長引くならこの有資格者は逃れ難い
事実16: 仮にこの罹患率が長引くとしたらこの有資格者は長引く
事実17: その婦人論は連携する

仮説: この有資格者は習慣化しない
1. 仮定1: 以下のように仮定する。「この有資格者は御機嫌様でない一方で専念する」ということは偽だ
2. 事実12と仮定1から、推論1: "この有資格者は発信元でない"が導かれる
3. 事実1と事実5から、推論2: "この有資格者は発信元である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この有資格者は御機嫌様でないけど専念する"が導かれる
6. 推論4と事実14から、推論5: "この有資格者は止めする"が導かれる
7. 事実4と事実15から、推論6: "この有資格者は逃れ難い"が導かれる
8. 推論5と推論6から、推論7: "この有資格者は止めするしおまけにそれは逃れ難い"が導かれる
9. 推論7と事実7から、仮説が導かれる

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