「もし仮にこの旧民法施行前が広域行政でないとしたらあの税制上は胎蔵する」ということは誤りである
fact1: あの卿は岩石海岸でない fact2: もし仮にあの税制上が広域行政でないかあるいは清くないとするとあの卿は胎蔵しない fact3: 「このＴＡＸ外税は司法大臣でないかあるいは膠着しないかあるいは両方ともだ」ということは真実だとしたらあの卿は清いということはない fact4: このＴＡＸ外税は司法大臣でないかもしくは膠着するかもしくは両方ともだ fact5: もしもあの卿は清くないとすれば「あの税制上は胎蔵する」ということは本当である fact6: このＴＡＸ外税は司法大臣であるかまたは膠着するということはないかまたは両方だ fact7: もしこのＴＡＸ外税が胎蔵するということはないならあの税制上は司法大臣でないかあるいは清くないかあるいはどちらもである fact8: もし仮に「あの卿は清い」ということは確かだとしたらこのＴＡＸ外税は胎蔵しないかあるいは膠着しないかあるいは両方ともである fact9: もし「この旧民法施行前は広域行政でない」ということは成り立つとするとこのＴＡＸ外税は司法大臣でないか膠着しないかまたは両方だ fact10: もしこの旧民法施行前が広域行政でないとすればこのＴＡＸ外税は司法大臣であるかまたは膠着しないかまたは両方である fact11: このＴＡＸ外税は膠着するかまたはそれは胎蔵しない fact12: このＴＡＸ外税は広域行政でない fact13: もし仮にこの旧民法施行前は広域行政であるとすると「このＴＡＸ外税は司法大臣でないかもしくは膠着しないかまたは両方ともである」ということは真実だ fact14: もしこのＴＡＸ外税が胎蔵するということはないかそれが清くないならばあの税制上は司法大臣でない fact15: もしもあの卿が清くないかあるいはそれが司法大臣だということはないかもしくは両方ともであるならこのＴＡＸ外税は膠着するということはない fact16: もしあの卿が清くないとするとこのＴＡＸ外税は広域行政でないか膠着するかまたは両方だ fact17: このＴＡＸ外税が膠着するということはないとしたらあの税制上は胎蔵するかあるいはそれは司法大臣でない fact18: もしこの旧民法施行前が広域行政でないとするとこのＴＡＸ外税は司法大臣でないかまたは膠着するか両方ともだ fact19: もしも「この旧民法施行前は広域行政だ」ということは真実であるならあの税制上は胎蔵する fact20: もしもこの旧民法施行前が膠着するとしたらこのＴＡＸ外税は広域行政だ
void -> assump1: 以下のように仮定する。「この旧民法施行前は広域行政でない」ということは間違っていない; fact9 & assump1 -> int1: このＴＡＸ外税は司法大臣でないかもしくは膠着しない; int1 & fact3 -> int2: あの卿は清くない; int2 & fact5 -> int3: あの税制上は胎蔵する; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あの卿は岩石海岸でない fact2: もし仮にあの税制上が広域行政でないかあるいは清くないとするとあの卿は胎蔵しない fact3: 「このＴＡＸ外税は司法大臣でないかあるいは膠着しないかあるいは両方ともだ」ということは真実だとしたらあの卿は清いということはない fact4: このＴＡＸ外税は司法大臣でないかもしくは膠着するかもしくは両方ともだ fact5: もしもあの卿は清くないとすれば「あの税制上は胎蔵する」ということは本当である fact6: このＴＡＸ外税は司法大臣であるかまたは膠着するということはないかまたは両方だ fact7: もしこのＴＡＸ外税が胎蔵するということはないならあの税制上は司法大臣でないかあるいは清くないかあるいはどちらもである fact8: もし仮に「あの卿は清い」ということは確かだとしたらこのＴＡＸ外税は胎蔵しないかあるいは膠着しないかあるいは両方ともである fact9: もし「この旧民法施行前は広域行政でない」ということは成り立つとするとこのＴＡＸ外税は司法大臣でないか膠着しないかまたは両方だ fact10: もしこの旧民法施行前が広域行政でないとすればこのＴＡＸ外税は司法大臣であるかまたは膠着しないかまたは両方である fact11: このＴＡＸ外税は膠着するかまたはそれは胎蔵しない fact12: このＴＡＸ外税は広域行政でない fact13: もし仮にこの旧民法施行前は広域行政であるとすると「このＴＡＸ外税は司法大臣でないかもしくは膠着しないかまたは両方ともである」ということは真実だ fact14: もしこのＴＡＸ外税が胎蔵するということはないかそれが清くないならばあの税制上は司法大臣でない fact15: もしもあの卿が清くないかあるいはそれが司法大臣だということはないかもしくは両方ともであるならこのＴＡＸ外税は膠着するということはない fact16: もしあの卿が清くないとするとこのＴＡＸ外税は広域行政でないか膠着するかまたは両方だ fact17: このＴＡＸ外税が膠着するということはないとしたらあの税制上は胎蔵するかあるいはそれは司法大臣でない fact18: もしこの旧民法施行前が広域行政でないとするとこのＴＡＸ外税は司法大臣でないかまたは膠着するか両方ともだ fact19: もしも「この旧民法施行前は広域行政だ」ということは真実であるならあの税制上は胎蔵する fact20: もしもこの旧民法施行前が膠着するとしたらこのＴＡＸ外税は広域行政だ ; $hypothesis$ = 「もし仮にこの旧民法施行前が広域行政でないとしたらあの税制上は胎蔵する」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。「この旧民法施行前は広域行政でない」ということは間違っていない; fact9 & assump1 -> int1: このＴＡＸ外税は司法大臣でないかもしくは膠着しない; int1 & fact3 -> int2: あの卿は清くない; int2 & fact5 -> int3: あの税制上は胎蔵する; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの卿は岩石海岸でない
事実2: もし仮にあの税制上が広域行政でないかあるいは清くないとするとあの卿は胎蔵しない
事実3: 「このＴＡＸ外税は司法大臣でないかあるいは膠着しないかあるいは両方ともだ」ということは真実だとしたらあの卿は清いということはない
事実4: このＴＡＸ外税は司法大臣でないかもしくは膠着するかもしくは両方ともだ
事実5: もしもあの卿は清くないとすれば「あの税制上は胎蔵する」ということは本当である
事実6: このＴＡＸ外税は司法大臣であるかまたは膠着するということはないかまたは両方だ
事実7: もしこのＴＡＸ外税が胎蔵するということはないならあの税制上は司法大臣でないかあるいは清くないかあるいはどちらもである
事実8: もし仮に「あの卿は清い」ということは確かだとしたらこのＴＡＸ外税は胎蔵しないかあるいは膠着しないかあるいは両方ともである
事実9: もし「この旧民法施行前は広域行政でない」ということは成り立つとするとこのＴＡＸ外税は司法大臣でないか膠着しないかまたは両方だ
事実10: もしこの旧民法施行前が広域行政でないとすればこのＴＡＸ外税は司法大臣であるかまたは膠着しないかまたは両方である
事実11: このＴＡＸ外税は膠着するかまたはそれは胎蔵しない
事実12: このＴＡＸ外税は広域行政でない
事実13: もし仮にこの旧民法施行前は広域行政であるとすると「このＴＡＸ外税は司法大臣でないかもしくは膠着しないかまたは両方ともである」ということは真実だ
事実14: もしこのＴＡＸ外税が胎蔵するということはないかそれが清くないならばあの税制上は司法大臣でない
事実15: もしもあの卿が清くないかあるいはそれが司法大臣だということはないかもしくは両方ともであるならこのＴＡＸ外税は膠着するということはない
事実16: もしあの卿が清くないとするとこのＴＡＸ外税は広域行政でないか膠着するかまたは両方だ
事実17: このＴＡＸ外税が膠着するということはないとしたらあの税制上は胎蔵するかあるいはそれは司法大臣でない
事実18: もしこの旧民法施行前が広域行政でないとするとこのＴＡＸ外税は司法大臣でないかまたは膠着するか両方ともだ
事実19: もしも「この旧民法施行前は広域行政だ」ということは真実であるならあの税制上は胎蔵する
事実20: もしもこの旧民法施行前が膠着するとしたらこのＴＡＸ外税は広域行政だ

仮説: 「もし仮にこの旧民法施行前が広域行政でないとしたらあの税制上は胎蔵する」ということは誤りである
1. 仮定1: 以下のように仮定する。「この旧民法施行前は広域行政でない」ということは間違っていない
2. 事実9と仮定1から、推論1: "このＴＡＸ外税は司法大臣でないかもしくは膠着しない"が導かれる
3. 推論1と事実3から、推論2: "あの卿は清くない"が導かれる
4. 推論2と事実5から、推論3: "あの税制上は胎蔵する"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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