あの調査主体は本音だけど二誘導でない
fact1: もしあのローマ劇場は二誘導でないならば「あの調査主体は本音だ一方で二誘導でない」ということは誤りである fact2: 「あの調査主体は破砕しないかまたは二誘導でない」ということは本当でないならば持ち出さない fact3: 「あのローマ劇場は持ち出す」ということは真実である fact4: 「あのローマ劇場は本音だ一方で二誘導でない」ということは偽である fact5: 「あのローマ劇場は二誘導であるということはないとすると「「あの調査主体は本音で更に二誘導である」ということは確かでない」ということは確かだ」ということは真実である fact6: 仮に「あのローマ劇場は轟音でないかあるいは持ち出すということはないかまたはどちらもだ」ということは成り立たないならば二誘導でない fact7: もしなにかは破砕しないとすると「それは持ち出す」ということは誤っていない fact8: もし「あのローマ劇場は本音でないかあるいはそれは轟音であるか両方ともである」ということは嘘ならそれは二誘導でない fact9: 「あの調査主体は持ち出すがしかしそれは本音であるということはない」ということは嘘である fact10: すべてのものはスタッフ一同でない fact11: もし仮に「あのインターは破砕しないかもしくはそれはいじらしいか両方である」ということは成り立たないとすれば辰市城でない fact12: 仮に「なにがしかのものは理解し難くないけれど区別し易い」ということは成り立つということはないとすれば区別し易くない fact13: もし「あの調査主体は二誘導でないかまたは轟音であるということはないかあるいは両方である」ということは嘘であるならば本音でない fact14: とあるものは破砕しないとすれば「轟音でないかあるいは持ち出すということはないかまたは両方ともである」ということは間違いである fact15: あのローマ劇場は破砕しない fact16: もしあの調査主体は持ち出さないならば「あのローマ劇場は破砕する一方で持ち出さない」ということは誤っている fact17: もし仮になにかはスタッフ一同でないなら「理解し難くないしそれにそれは区別し易い」ということは間違いだ fact18: 「あの調査主体が本音だしそれにそれは二誘導である」ということは間違っている fact19: あの調査主体は字下げしない
fact14 -> int1: もし仮にあのローマ劇場は破砕しないならば「「それは轟音でないかあるいは持ち出さないかもしくは両方ともである」ということは事実と異ならない」ということは間違いだ; int1 & fact15 -> int2: 「あのローマ劇場は轟音でないか持ち出すということはない」ということは間違っている; int2 & fact6 -> int3: あのローマ劇場は二誘導でない; int3 & fact1 -> hypothesis;
あの調査主体は本音であるけど二誘導だということはない
fact22 -> int4: もしもその大嘗祭はスタッフ一同でないとすると「それは理解し難くないけれど区別し易い」ということは嘘だ; fact20 -> int5: 「その大嘗祭はスタッフ一同でない」ということは本当だ; int4 & int5 -> int6: 「その大嘗祭は理解し難いということはないけれど区別し易い」ということは誤りだ; int6 -> int7: 理解し難くないしそれは区別し易いという物はない; int7 -> int8: 「あの調査主体は理解し難いということはないけれど区別し易い」ということは間違いだ; fact21 -> int9: もし仮に「あの調査主体は理解し難くないがしかし区別し易い」ということは事実と異なるとすればそれは区別し易くない; int8 & int9 -> int10: あの調査主体は区別し易くない;
$facts$ = fact1: もしあのローマ劇場は二誘導でないならば「あの調査主体は本音だ一方で二誘導でない」ということは誤りである fact2: 「あの調査主体は破砕しないかまたは二誘導でない」ということは本当でないならば持ち出さない fact3: 「あのローマ劇場は持ち出す」ということは真実である fact4: 「あのローマ劇場は本音だ一方で二誘導でない」ということは偽である fact5: 「あのローマ劇場は二誘導であるということはないとすると「「あの調査主体は本音で更に二誘導である」ということは確かでない」ということは確かだ」ということは真実である fact6: 仮に「あのローマ劇場は轟音でないかあるいは持ち出すということはないかまたはどちらもだ」ということは成り立たないならば二誘導でない fact7: もしなにかは破砕しないとすると「それは持ち出す」ということは誤っていない fact8: もし「あのローマ劇場は本音でないかあるいはそれは轟音であるか両方ともである」ということは嘘ならそれは二誘導でない fact9: 「あの調査主体は持ち出すがしかしそれは本音であるということはない」ということは嘘である fact10: すべてのものはスタッフ一同でない fact11: もし仮に「あのインターは破砕しないかもしくはそれはいじらしいか両方である」ということは成り立たないとすれば辰市城でない fact12: 仮に「なにがしかのものは理解し難くないけれど区別し易い」ということは成り立つということはないとすれば区別し易くない fact13: もし「あの調査主体は二誘導でないかまたは轟音であるということはないかあるいは両方である」ということは嘘であるならば本音でない fact14: とあるものは破砕しないとすれば「轟音でないかあるいは持ち出すということはないかまたは両方ともである」ということは間違いである fact15: あのローマ劇場は破砕しない fact16: もしあの調査主体は持ち出さないならば「あのローマ劇場は破砕する一方で持ち出さない」ということは誤っている fact17: もし仮になにかはスタッフ一同でないなら「理解し難くないしそれにそれは区別し易い」ということは間違いだ fact18: 「あの調査主体が本音だしそれにそれは二誘導である」ということは間違っている fact19: あの調査主体は字下げしない ; $hypothesis$ = あの調査主体は本音だけど二誘導でない ; $proof$ = 
fact14 -> int1: もし仮にあのローマ劇場は破砕しないならば「「それは轟音でないかあるいは持ち出さないかもしくは両方ともである」ということは事実と異ならない」ということは間違いだ; int1 & fact15 -> int2: 「あのローマ劇場は轟音でないか持ち出すということはない」ということは間違っている; int2 & fact6 -> int3: あのローマ劇場は二誘導でない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあのローマ劇場は二誘導でないならば「あの調査主体は本音だ一方で二誘導でない」ということは誤りである
事実2: 「あの調査主体は破砕しないかまたは二誘導でない」ということは本当でないならば持ち出さない
事実3: 「あのローマ劇場は持ち出す」ということは真実である
事実4: 「あのローマ劇場は本音だ一方で二誘導でない」ということは偽である
事実5: 「あのローマ劇場は二誘導であるということはないとすると「「あの調査主体は本音で更に二誘導である」ということは確かでない」ということは確かだ」ということは真実である
事実6: 仮に「あのローマ劇場は轟音でないかあるいは持ち出すということはないかまたはどちらもだ」ということは成り立たないならば二誘導でない
事実7: もしなにかは破砕しないとすると「それは持ち出す」ということは誤っていない
事実8: もし「あのローマ劇場は本音でないかあるいはそれは轟音であるか両方ともである」ということは嘘ならそれは二誘導でない
事実9: 「あの調査主体は持ち出すがしかしそれは本音であるということはない」ということは嘘である
事実10: すべてのものはスタッフ一同でない
事実11: もし仮に「あのインターは破砕しないかもしくはそれはいじらしいか両方である」ということは成り立たないとすれば辰市城でない
事実12: 仮に「なにがしかのものは理解し難くないけれど区別し易い」ということは成り立つということはないとすれば区別し易くない
事実13: もし「あの調査主体は二誘導でないかまたは轟音であるということはないかあるいは両方である」ということは嘘であるならば本音でない
事実14: とあるものは破砕しないとすれば「轟音でないかあるいは持ち出すということはないかまたは両方ともである」ということは間違いである
事実15: あのローマ劇場は破砕しない
事実16: もしあの調査主体は持ち出さないならば「あのローマ劇場は破砕する一方で持ち出さない」ということは誤っている
事実17: もし仮になにかはスタッフ一同でないなら「理解し難くないしそれにそれは区別し易い」ということは間違いだ
事実18: 「あの調査主体が本音だしそれにそれは二誘導である」ということは間違っている
事実19: あの調査主体は字下げしない

仮説: あの調査主体は本音だけど二誘導でない
1. 事実14から、推論1: "もし仮にあのローマ劇場は破砕しないならば「「それは轟音でないかあるいは持ち出さないかもしくは両方ともである」ということは事実と異ならない」ということは間違いだ"が導かれる
2. 推論1と事実15から、推論2: "「あのローマ劇場は轟音でないか持ち出すということはない」ということは間違っている"が導かれる
3. 推論2と事実6から、推論3: "あのローマ劇場は二誘導でない"が導かれる
4. 推論3と事実1から、仮説が否定される

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