「もしその五パーセント未満が心無くないとすればこの最上段は吸収され難くない」ということは成り立たない
fact1: もしその五パーセント未満が心無いならばこの最上段は吸収され難くない fact2: 仮に何らかのものは心無いということはないとしたら「それは薄いししかもそれはＯＢだ」ということは事実と異なる fact3: あのちげえはＯＢでない fact4: もしもその五パーセント未満が心無くないならこの最上段は吸収され難い fact5: もし仮にその五パーセント未満が薄いとするとあのちげえは取得し易くない fact6: 「このＳＮＰは指導出来ないけれどＯＢだ」ということは嘘である fact7: もしとあるものは心無くないとしたら「それは薄くないがＯＢだ」ということは誤っている fact8: この最上段はＯＢでない fact9: その五パーセント未満が取得し易いということはないならあのちげえは心無くない fact10: なにかは心無いなら「薄くない一方でＯＢである」ということは間違っている fact11: 仮に「あのちげえは取得し易くない」ということは事実であるとしたら「この最上段は吸収され難いということはない」ということは確かである fact12: 「「その五パーセント未満は薄くないがＯＢだ」ということは事実である」ということは事実と異なるとするとあのちげえは取得し易くない fact13: もしその五パーセント未満が吸収され難くないとしたらこの最上段は心無くない fact14: 「あのちげえは極楽寺であるということはない」ということは真実である fact15: もし仮に「その五パーセント未満は心無くない」ということは確かだとすれば「それは薄くてまたＯＢだ」ということは事実と異なる fact16: 「その五パーセント未満は薄いしそれはＯＢである」ということは間違っている fact17: もしもその五パーセント未満は心無いとしたら「それは薄くないがＯＢだ」ということは間違いだ
fact7 -> int1: もしもその五パーセント未満は心無くないなら「薄くないがＯＢだ」ということは成り立たない; void -> assump1: 以下のように仮定する。その五パーセント未満は心無いということはない; int1 & assump1 -> int2: 「その五パーセント未満は薄いということはない一方でそれはＯＢである」ということは確かでない; int2 & fact12 -> int3: あのちげえは取得し易くない; int3 & fact11 -> int4: この最上段は吸収され難いということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしその五パーセント未満が心無いならばこの最上段は吸収され難くない fact2: 仮に何らかのものは心無いということはないとしたら「それは薄いししかもそれはＯＢだ」ということは事実と異なる fact3: あのちげえはＯＢでない fact4: もしもその五パーセント未満が心無くないならこの最上段は吸収され難い fact5: もし仮にその五パーセント未満が薄いとするとあのちげえは取得し易くない fact6: 「このＳＮＰは指導出来ないけれどＯＢだ」ということは嘘である fact7: もしとあるものは心無くないとしたら「それは薄くないがＯＢだ」ということは誤っている fact8: この最上段はＯＢでない fact9: その五パーセント未満が取得し易いということはないならあのちげえは心無くない fact10: なにかは心無いなら「薄くない一方でＯＢである」ということは間違っている fact11: 仮に「あのちげえは取得し易くない」ということは事実であるとしたら「この最上段は吸収され難いということはない」ということは確かである fact12: 「「その五パーセント未満は薄くないがＯＢだ」ということは事実である」ということは事実と異なるとするとあのちげえは取得し易くない fact13: もしその五パーセント未満が吸収され難くないとしたらこの最上段は心無くない fact14: 「あのちげえは極楽寺であるということはない」ということは真実である fact15: もし仮に「その五パーセント未満は心無くない」ということは確かだとすれば「それは薄くてまたＯＢだ」ということは事実と異なる fact16: 「その五パーセント未満は薄いしそれはＯＢである」ということは間違っている fact17: もしもその五パーセント未満は心無いとしたら「それは薄くないがＯＢだ」ということは間違いだ ; $hypothesis$ = 「もしその五パーセント未満が心無くないとすればこの最上段は吸収され難くない」ということは成り立たない ; $proof$ = 
fact7 -> int1: もしもその五パーセント未満は心無くないなら「薄くないがＯＢだ」ということは成り立たない; void -> assump1: 以下のように仮定する。その五パーセント未満は心無いということはない; int1 & assump1 -> int2: 「その五パーセント未満は薄いということはない一方でそれはＯＢである」ということは確かでない; int2 & fact12 -> int3: あのちげえは取得し易くない; int3 & fact11 -> int4: この最上段は吸収され難いということはない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしその五パーセント未満が心無いならばこの最上段は吸収され難くない
事実2: 仮に何らかのものは心無いということはないとしたら「それは薄いししかもそれはＯＢだ」ということは事実と異なる
事実3: あのちげえはＯＢでない
事実4: もしもその五パーセント未満が心無くないならこの最上段は吸収され難い
事実5: もし仮にその五パーセント未満が薄いとするとあのちげえは取得し易くない
事実6: 「このＳＮＰは指導出来ないけれどＯＢだ」ということは嘘である
事実7: もしとあるものは心無くないとしたら「それは薄くないがＯＢだ」ということは誤っている
事実8: この最上段はＯＢでない
事実9: その五パーセント未満が取得し易いということはないならあのちげえは心無くない
事実10: なにかは心無いなら「薄くない一方でＯＢである」ということは間違っている
事実11: 仮に「あのちげえは取得し易くない」ということは事実であるとしたら「この最上段は吸収され難いということはない」ということは確かである
事実12: 「「その五パーセント未満は薄くないがＯＢだ」ということは事実である」ということは事実と異なるとするとあのちげえは取得し易くない
事実13: もしその五パーセント未満が吸収され難くないとしたらこの最上段は心無くない
事実14: 「あのちげえは極楽寺であるということはない」ということは真実である
事実15: もし仮に「その五パーセント未満は心無くない」ということは確かだとすれば「それは薄くてまたＯＢだ」ということは事実と異なる
事実16: 「その五パーセント未満は薄いしそれはＯＢである」ということは間違っている
事実17: もしもその五パーセント未満は心無いとしたら「それは薄くないがＯＢだ」ということは間違いだ

仮説: 「もしその五パーセント未満が心無くないとすればこの最上段は吸収され難くない」ということは成り立たない
1. 事実7から、推論1: "もしもその五パーセント未満は心無くないなら「薄くないがＯＢだ」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その五パーセント未満は心無いということはない
3. 推論1と仮定1から、推論2: "「その五パーセント未満は薄いということはない一方でそれはＯＢである」ということは確かでない"が導かれる
4. 推論2と事実12から、推論3: "あのちげえは取得し易くない"が導かれる
5. 推論3と事実11から、推論4: "この最上段は吸収され難いということはない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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