「この分割承継法人は算定し難いか憎い」ということは成り立たない
fact1: その変わり身が継続し難いとしたら癌化しない fact2: その変わり身は継続し難くない fact3: その変わり身は重用しない fact4: 仮に「とあるものは多層レジストでないかもしくは継続し難いかあるいは両方である」ということは真実だということはないとすればそれは憎いということはない fact5: 継続し難いものは癌化しない fact6: もし仮にその修正箇所は芽生えないとしたら「それは迫害するということはなくておまけに祓いだということはない」ということは成り立たない fact7: もしもその修正箇所が重用しないとしたらこの分割承継法人は癌化しない一方でそれは記憶細胞だ fact8: 仮になにがしかの物が多層レジストでないかそれは継続し難いかあるいは両方だとすれば癌化しない fact9: その変わり身が重用しないとすればそれは記憶細胞でかつ癌化する fact10: その変わり身は買い取り請求でない fact11: もし仮にその変わり身が憎いということはないとしたらこの分割承継法人は算定し難いか憎い fact12: もし仮に「なにがしかのものは迫害しないし加えて祓いでない」ということは間違っていれば重用しない fact13: 「その変わり身は記憶細胞である」ということは事実である fact14: 仮に「その変わり身は重用しない」ということは本当だとしたらそれは記憶細胞である
fact8 -> int1: 「もしもその変わり身が多層レジストでないかもしくは継続し難いかもしくは両方ともであるとしたらその変わり身は癌化しない」ということは本当である; void -> assump1: 以下のように仮定する。その変わり身は多層レジストでないか継続し難いかあるいはどちらもである; int1 & assump1 -> int2: その変わり身は癌化しない; fact9 & fact3 -> int3: その変わり身は記憶細胞であるし癌化する; int3 -> int4: その変わり身は癌化する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その変わり身は多層レジストでないかもしくはそれは継続し難いかどちらもだ」ということは誤りである; fact4 -> int7: もし「その変わり身は多層レジストでないかまたは継続し難いかあるいはどちらもである」ということは間違っているとするとそれは憎くない; int6 & int7 -> int8: その変わり身は憎くない; int8 & fact11 -> hypothesis;
「この分割承継法人は算定し難いかあるいは憎いかどちらもだ」ということは成り立たない
fact16 -> int9: もし「その修正箇所は迫害するということはないし祓いでない」ということは成り立たないとすればそれは重用しない;
$facts$ = fact1: その変わり身が継続し難いとしたら癌化しない fact2: その変わり身は継続し難くない fact3: その変わり身は重用しない fact4: 仮に「とあるものは多層レジストでないかもしくは継続し難いかあるいは両方である」ということは真実だということはないとすればそれは憎いということはない fact5: 継続し難いものは癌化しない fact6: もし仮にその修正箇所は芽生えないとしたら「それは迫害するということはなくておまけに祓いだということはない」ということは成り立たない fact7: もしもその修正箇所が重用しないとしたらこの分割承継法人は癌化しない一方でそれは記憶細胞だ fact8: 仮になにがしかの物が多層レジストでないかそれは継続し難いかあるいは両方だとすれば癌化しない fact9: その変わり身が重用しないとすればそれは記憶細胞でかつ癌化する fact10: その変わり身は買い取り請求でない fact11: もし仮にその変わり身が憎いということはないとしたらこの分割承継法人は算定し難いか憎い fact12: もし仮に「なにがしかのものは迫害しないし加えて祓いでない」ということは間違っていれば重用しない fact13: 「その変わり身は記憶細胞である」ということは事実である fact14: 仮に「その変わり身は重用しない」ということは本当だとしたらそれは記憶細胞である ; $hypothesis$ = 「この分割承継法人は算定し難いか憎い」ということは成り立たない ; $proof$ = 
fact8 -> int1: 「もしもその変わり身が多層レジストでないかもしくは継続し難いかもしくは両方ともであるとしたらその変わり身は癌化しない」ということは本当である; void -> assump1: 以下のように仮定する。その変わり身は多層レジストでないか継続し難いかあるいはどちらもである; int1 & assump1 -> int2: その変わり身は癌化しない; fact9 & fact3 -> int3: その変わり身は記憶細胞であるし癌化する; int3 -> int4: その変わり身は癌化する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その変わり身は多層レジストでないかもしくはそれは継続し難いかどちらもだ」ということは誤りである; fact4 -> int7: もし「その変わり身は多層レジストでないかまたは継続し難いかあるいはどちらもである」ということは間違っているとするとそれは憎くない; int6 & int7 -> int8: その変わり身は憎くない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: その変わり身が継続し難いとしたら癌化しない
事実2: その変わり身は継続し難くない
事実3: その変わり身は重用しない
事実4: 仮に「とあるものは多層レジストでないかもしくは継続し難いかあるいは両方である」ということは真実だということはないとすればそれは憎いということはない
事実5: 継続し難いものは癌化しない
事実6: もし仮にその修正箇所は芽生えないとしたら「それは迫害するということはなくておまけに祓いだということはない」ということは成り立たない
事実7: もしもその修正箇所が重用しないとしたらこの分割承継法人は癌化しない一方でそれは記憶細胞だ
事実8: 仮になにがしかの物が多層レジストでないかそれは継続し難いかあるいは両方だとすれば癌化しない
事実9: その変わり身が重用しないとすればそれは記憶細胞でかつ癌化する
事実10: その変わり身は買い取り請求でない
事実11: もし仮にその変わり身が憎いということはないとしたらこの分割承継法人は算定し難いか憎い
事実12: もし仮に「なにがしかのものは迫害しないし加えて祓いでない」ということは間違っていれば重用しない
事実13: 「その変わり身は記憶細胞である」ということは事実である
事実14: 仮に「その変わり身は重用しない」ということは本当だとしたらそれは記憶細胞である

仮説: 「この分割承継法人は算定し難いか憎い」ということは成り立たない
1. 事実8から、推論1: "「もしもその変わり身が多層レジストでないかもしくは継続し難いかもしくは両方ともであるとしたらその変わり身は癌化しない」ということは本当である"が導かれる
2. 仮定1: 以下のように仮定する。その変わり身は多層レジストでないか継続し難いかあるいはどちらもである
3. 推論1と仮定1から、推論2: "その変わり身は癌化しない"が導かれる
4. 事実9と事実3から、推論3: "その変わり身は記憶細胞であるし癌化する"が導かれる
5. 推論3から、推論4: "その変わり身は癌化する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その変わり身は多層レジストでないかもしくはそれは継続し難いかどちらもだ」ということは誤りである"が導かれる
8. 事実4から、推論7: "もし「その変わり身は多層レジストでないかまたは継続し難いかあるいはどちらもである」ということは間違っているとするとそれは憎くない"が導かれる
9. 推論6と推論7から、推論8: "その変わり身は憎くない"が導かれる
10. 推論8と事実11から、仮説が否定される

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