あの尾は後円でなくて共用でない
fact1: もし「その織姫は共用である」ということは真実ならば「あの尾は後円だけど共用でない」ということは成り立つということはない fact2: もしも何らかのものは呼び付けないとすれば「それは仄暗いし高い」ということは誤りである fact3: あの国連憲章は呼び付けない fact4: 「あの尾は後円でない一方で共用だ」ということは成り立たない fact5: あの国連憲章が呼び付けないとしたらその織姫は陰気臭くないし高くない fact6: あの尾は既刊でない fact7: その江戸東京は呼び付けない fact8: もしその織姫は共用ならば「あの尾は後円でないがしかしそれは共用である」ということは嘘だ fact9: もし仮に「その織姫は陰気臭くないけれど高い」ということは成り立つとしたらそれは仄暗い fact10: もし仮に「その織姫は陰気臭くなくて高くない」ということは本当であるとすると「仄暗い」ということは確かだ fact11: もし仮に「なんらかのものは仄暗くて更に高い」ということは嘘であるとすれば高くない fact12: その織姫は高くない fact13: 「その織姫が仄暗いとするとその織姫は輪王寺宮である」ということは真実だ fact14: その織姫が輪王寺宮でないかそれはシルクボタンであるかもしくはどちらもであるとしたら「あの国連憲章は輪王寺宮だということはない」ということは本当である fact15: もしも「あの国連憲章は仄暗くない一方でそれは共用だ」ということは偽であるとすればあの尾は共用でない fact16: 仮にあの国連憲章が呼び付けるし加えて共用ならばあの尾は呼び付けない fact17: もし仮にその織姫は共用であるとしたら「あの尾は後円でなくて共用でない」ということは成り立たない fact18: 「このビジュアルは共用でない」ということは本当だ fact19: もし仮になにがしかのものが呼び付けるとしたらあの尾は呼び付けるかそれは後円だということはないかもしくはどちらもである fact20: 仮に「なにがしかの物は輪王寺宮であるが後円でない」ということは真実でないなら輪王寺宮でない fact21: その御握り犬は浮き沈みしないしそれは起き易くない fact22: 「あの尾は後円だがしかし共用でない」ということは成り立つということはない fact23: 「あの尾は既刊でないなら「あの尾は輪王寺宮だが後円であるということはない」ということは誤りである」ということは真実である fact24: あの国連憲章が呼び付けないとすればその織姫は高くない fact25: もしもあの国連憲章が呼び付けるとするとその弱オピオイド鎮痛薬は共用である fact26: 仮にその織姫は輪王寺宮なら「それは共用だ」ということは本当である fact27: 仮になにかは呼び付けるかもしくは後円でないか両方なら後円であるということはない
fact5 & fact3 -> int1: その織姫は陰気臭くなくてまた高くない; int1 & fact10 -> int2: その織姫は仄暗い; int2 & fact13 -> int3: その織姫は輪王寺宮である; int3 & fact26 -> int4: その織姫は共用である; int4 & fact17 -> hypothesis;
「その弱オピオイド鎮痛薬は共用だ」ということは成り立つ
fact32 -> int5: 「「あの尾は輪王寺宮である一方で後円でない」ということは事実と異なる」ということは真実だとすると輪王寺宮でない; fact31 & fact30 -> int6: 「「あの尾は輪王寺宮であるけど後円であるということはない」ということは事実である」ということは成り立たない; int5 & int6 -> int7: あの尾は輪王寺宮でない; int7 -> int8: 何らかの物は輪王寺宮でない;
$facts$ = fact1: もし「その織姫は共用である」ということは真実ならば「あの尾は後円だけど共用でない」ということは成り立つということはない fact2: もしも何らかのものは呼び付けないとすれば「それは仄暗いし高い」ということは誤りである fact3: あの国連憲章は呼び付けない fact4: 「あの尾は後円でない一方で共用だ」ということは成り立たない fact5: あの国連憲章が呼び付けないとしたらその織姫は陰気臭くないし高くない fact6: あの尾は既刊でない fact7: その江戸東京は呼び付けない fact8: もしその織姫は共用ならば「あの尾は後円でないがしかしそれは共用である」ということは嘘だ fact9: もし仮に「その織姫は陰気臭くないけれど高い」ということは成り立つとしたらそれは仄暗い fact10: もし仮に「その織姫は陰気臭くなくて高くない」ということは本当であるとすると「仄暗い」ということは確かだ fact11: もし仮に「なんらかのものは仄暗くて更に高い」ということは嘘であるとすれば高くない fact12: その織姫は高くない fact13: 「その織姫が仄暗いとするとその織姫は輪王寺宮である」ということは真実だ fact14: その織姫が輪王寺宮でないかそれはシルクボタンであるかもしくはどちらもであるとしたら「あの国連憲章は輪王寺宮だということはない」ということは本当である fact15: もしも「あの国連憲章は仄暗くない一方でそれは共用だ」ということは偽であるとすればあの尾は共用でない fact16: 仮にあの国連憲章が呼び付けるし加えて共用ならばあの尾は呼び付けない fact17: もし仮にその織姫は共用であるとしたら「あの尾は後円でなくて共用でない」ということは成り立たない fact18: 「このビジュアルは共用でない」ということは本当だ fact19: もし仮になにがしかのものが呼び付けるとしたらあの尾は呼び付けるかそれは後円だということはないかもしくはどちらもである fact20: 仮に「なにがしかの物は輪王寺宮であるが後円でない」ということは真実でないなら輪王寺宮でない fact21: その御握り犬は浮き沈みしないしそれは起き易くない fact22: 「あの尾は後円だがしかし共用でない」ということは成り立つということはない fact23: 「あの尾は既刊でないなら「あの尾は輪王寺宮だが後円であるということはない」ということは誤りである」ということは真実である fact24: あの国連憲章が呼び付けないとすればその織姫は高くない fact25: もしもあの国連憲章が呼び付けるとするとその弱オピオイド鎮痛薬は共用である fact26: 仮にその織姫は輪王寺宮なら「それは共用だ」ということは本当である fact27: 仮になにかは呼び付けるかもしくは後円でないか両方なら後円であるということはない ; $hypothesis$ = あの尾は後円でなくて共用でない ; $proof$ = 
fact5 & fact3 -> int1: その織姫は陰気臭くなくてまた高くない; int1 & fact10 -> int2: その織姫は仄暗い; int2 & fact13 -> int3: その織姫は輪王寺宮である; int3 & fact26 -> int4: その織姫は共用である; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: もし「その織姫は共用である」ということは真実ならば「あの尾は後円だけど共用でない」ということは成り立つということはない
事実2: もしも何らかのものは呼び付けないとすれば「それは仄暗いし高い」ということは誤りである
事実3: あの国連憲章は呼び付けない
事実4: 「あの尾は後円でない一方で共用だ」ということは成り立たない
事実5: あの国連憲章が呼び付けないとしたらその織姫は陰気臭くないし高くない
事実6: あの尾は既刊でない
事実7: その江戸東京は呼び付けない
事実8: もしその織姫は共用ならば「あの尾は後円でないがしかしそれは共用である」ということは嘘だ
事実9: もし仮に「その織姫は陰気臭くないけれど高い」ということは成り立つとしたらそれは仄暗い
事実10: もし仮に「その織姫は陰気臭くなくて高くない」ということは本当であるとすると「仄暗い」ということは確かだ
事実11: もし仮に「なんらかのものは仄暗くて更に高い」ということは嘘であるとすれば高くない
事実12: その織姫は高くない
事実13: 「その織姫が仄暗いとするとその織姫は輪王寺宮である」ということは真実だ
事実14: その織姫が輪王寺宮でないかそれはシルクボタンであるかもしくはどちらもであるとしたら「あの国連憲章は輪王寺宮だということはない」ということは本当である
事実15: もしも「あの国連憲章は仄暗くない一方でそれは共用だ」ということは偽であるとすればあの尾は共用でない
事実16: 仮にあの国連憲章が呼び付けるし加えて共用ならばあの尾は呼び付けない
事実17: もし仮にその織姫は共用であるとしたら「あの尾は後円でなくて共用でない」ということは成り立たない
事実18: 「このビジュアルは共用でない」ということは本当だ
事実19: もし仮になにがしかのものが呼び付けるとしたらあの尾は呼び付けるかそれは後円だということはないかもしくはどちらもである
事実20: 仮に「なにがしかの物は輪王寺宮であるが後円でない」ということは真実でないなら輪王寺宮でない
事実21: その御握り犬は浮き沈みしないしそれは起き易くない
事実22: 「あの尾は後円だがしかし共用でない」ということは成り立つということはない
事実23: 「あの尾は既刊でないなら「あの尾は輪王寺宮だが後円であるということはない」ということは誤りである」ということは真実である
事実24: あの国連憲章が呼び付けないとすればその織姫は高くない
事実25: もしもあの国連憲章が呼び付けるとするとその弱オピオイド鎮痛薬は共用である
事実26: 仮にその織姫は輪王寺宮なら「それは共用だ」ということは本当である
事実27: 仮になにかは呼び付けるかもしくは後円でないか両方なら後円であるということはない

仮説: あの尾は後円でなくて共用でない
1. 事実5と事実3から、推論1: "その織姫は陰気臭くなくてまた高くない"が導かれる
2. 推論1と事実10から、推論2: "その織姫は仄暗い"が導かれる
3. 推論2と事実13から、推論3: "その織姫は輪王寺宮である"が導かれる
4. 推論3と事実26から、推論4: "その織姫は共用である"が導かれる
5. 推論4と事実17から、仮説が否定される

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