あのリバティーは骨折しない
fact1: もしもそのパディントン発が骨折するし加えて生身であるとしたらあのリバティーは骨折するということはない fact2: もし仮に何らかの物が驚くならそれは酸性度であるし更に賛美しない fact3: あのリバティーは生身である fact4: もしもそのアビは酸性度でないならば「この治癒判定は酸性度であるということはないかもしくは驚かないかあるいは両方ともである」ということは真実でない fact5: そのパディントン発は清掃するしかつ生身だ fact6: 仮にそのパディントン発は大人気無くないとしたら「あのリバティーは骨折するし賛美する」ということは確かである fact7: この治癒判定は酸性度でないかあるいは驚かない fact8: もし「編み込まない」ものはあるとしたら「「このメッセージ種別は生産増加であるしそれは御答え致す」ということは確かである」ということは正しくない fact9: もし仮にそのアビが骨折するならそのパディントン発は骨折する fact10: もしもそのパディントン発が賛美しないならあのリバティーは生身である fact11: 大人気無くないものは骨折するかあるいは清掃するかもしくは両方だ fact12: もしもそのパディントン発が清掃するし大人気無いとすればあのアビは酸性度でない fact13: どれもこれもは編み込まない fact14: 仮に「「生産増加であるしおまけに御答え致す」ということは成り立つということはない」物があるとすればそのアビは大人気無くない fact15: もしこの治癒判定が酸性度だ一方で賛美しないならばあのパディントン発は生身である fact16: 「この治癒判定は返りらしいが驚かない」ということは成り立たないならば驚く
fact5 -> int1: そのパディントン発は清掃する; void -> assump1: 以下のように仮定する。そのパディントン発は大人気無い; int1 & assump1 -> int2: そのパディントン発は清掃するし大人気無い; int2 & fact12 -> int3: そのアビは酸性度であるということはない; int3 & fact4 -> int4: 「この治癒判定は酸性度でないかまたは驚かないかもしくはどちらもだ」ということは間違いである; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのパディントン発は大人気無くない; int6 & fact6 -> int7: あのリバティーは骨折するしさらに賛美する; int7 -> hypothesis;
あのリバティーは骨折するということはない
fact20 -> int8: 仮にそのアビが大人気無くないとしたら骨折するかもしくは清掃するかまたはどちらもだ; fact22 -> int9: あの三ＤＫは編み込まない; int9 -> int10: 何かは編み込まない; int10 & fact25 -> int11: 「このメッセージ種別が生産増加だし御答え致す」ということは事実と異なる; int11 -> int12: 「「生産増加であるし御答え致す」ということは嘘な」ものはある; int12 & fact17 -> int13: そのアビは大人気無くない; int8 & int13 -> int14: そのアビは骨折するかまたはそれは清掃するかまたは両方である; fact23 -> int15: もし仮にこの治癒判定が驚くとすればそれは酸性度であるが賛美しない;
$facts$ = fact1: もしもそのパディントン発が骨折するし加えて生身であるとしたらあのリバティーは骨折するということはない fact2: もし仮に何らかの物が驚くならそれは酸性度であるし更に賛美しない fact3: あのリバティーは生身である fact4: もしもそのアビは酸性度でないならば「この治癒判定は酸性度であるということはないかもしくは驚かないかあるいは両方ともである」ということは真実でない fact5: そのパディントン発は清掃するしかつ生身だ fact6: 仮にそのパディントン発は大人気無くないとしたら「あのリバティーは骨折するし賛美する」ということは確かである fact7: この治癒判定は酸性度でないかあるいは驚かない fact8: もし「編み込まない」ものはあるとしたら「「このメッセージ種別は生産増加であるしそれは御答え致す」ということは確かである」ということは正しくない fact9: もし仮にそのアビが骨折するならそのパディントン発は骨折する fact10: もしもそのパディントン発が賛美しないならあのリバティーは生身である fact11: 大人気無くないものは骨折するかあるいは清掃するかもしくは両方だ fact12: もしもそのパディントン発が清掃するし大人気無いとすればあのアビは酸性度でない fact13: どれもこれもは編み込まない fact14: 仮に「「生産増加であるしおまけに御答え致す」ということは成り立つということはない」物があるとすればそのアビは大人気無くない fact15: もしこの治癒判定が酸性度だ一方で賛美しないならばあのパディントン発は生身である fact16: 「この治癒判定は返りらしいが驚かない」ということは成り立たないならば驚く ; $hypothesis$ = あのリバティーは骨折しない ; $proof$ = 
fact5 -> int1: そのパディントン発は清掃する; void -> assump1: 以下のように仮定する。そのパディントン発は大人気無い; int1 & assump1 -> int2: そのパディントン発は清掃するし大人気無い; int2 & fact12 -> int3: そのアビは酸性度であるということはない; int3 & fact4 -> int4: 「この治癒判定は酸性度でないかまたは驚かないかもしくはどちらもだ」ということは間違いである; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのパディントン発は大人気無くない; int6 & fact6 -> int7: あのリバティーは骨折するしさらに賛美する; int7 -> hypothesis; __DISPROVED__
事実1: もしもそのパディントン発が骨折するし加えて生身であるとしたらあのリバティーは骨折するということはない
事実2: もし仮に何らかの物が驚くならそれは酸性度であるし更に賛美しない
事実3: あのリバティーは生身である
事実4: もしもそのアビは酸性度でないならば「この治癒判定は酸性度であるということはないかもしくは驚かないかあるいは両方ともである」ということは真実でない
事実5: そのパディントン発は清掃するしかつ生身だ
事実6: 仮にそのパディントン発は大人気無くないとしたら「あのリバティーは骨折するし賛美する」ということは確かである
事実7: この治癒判定は酸性度でないかあるいは驚かない
事実8: もし「編み込まない」ものはあるとしたら「「このメッセージ種別は生産増加であるしそれは御答え致す」ということは確かである」ということは正しくない
事実9: もし仮にそのアビが骨折するならそのパディントン発は骨折する
事実10: もしもそのパディントン発が賛美しないならあのリバティーは生身である
事実11: 大人気無くないものは骨折するかあるいは清掃するかもしくは両方だ
事実12: もしもそのパディントン発が清掃するし大人気無いとすればあのアビは酸性度でない
事実13: どれもこれもは編み込まない
事実14: 仮に「「生産増加であるしおまけに御答え致す」ということは成り立つということはない」物があるとすればそのアビは大人気無くない
事実15: もしこの治癒判定が酸性度だ一方で賛美しないならばあのパディントン発は生身である
事実16: 「この治癒判定は返りらしいが驚かない」ということは成り立たないならば驚く

仮説: あのリバティーは骨折しない
1. 事実5から、推論1: "そのパディントン発は清掃する"が導かれる
2. 仮定1: 以下のように仮定する。そのパディントン発は大人気無い
3. 推論1と仮定1から、推論2: "そのパディントン発は清掃するし大人気無い"が導かれる
4. 推論2と事実12から、推論3: "そのアビは酸性度であるということはない"が導かれる
5. 推論3と事実4から、推論4: "「この治癒判定は酸性度でないかまたは驚かないかもしくはどちらもだ」ということは間違いである"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのパディントン発は大人気無くない"が導かれる
8. 推論6と事実6から、推論7: "あのリバティーは骨折するしさらに賛美する"が導かれる
9. 推論7から、仮説が否定される

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