「「「骨内であるということはない」ということは事実である」物はある」ということは成り立たない
fact1: そのエストリオールは組み上がらないししかもそれは約束出来ない fact2: もし仮にこの証人席が等々力達だということはないとしたらそのエストリオールは捨て難い fact3: この証人席は船腹でない fact4: そのエストリオールは等々力達でない fact5: この証人席は約束出来ない fact6: この証人席が捨て難くないならばそのエストリオールは等々力達だ fact7: 「この証人席は約束出来なくてそれは期し難くない」ということは事実である fact8: そのエストリオールは船腹だ fact9: 「「約束出来る」ということは真実な」物はある fact10: あのロータリアンは捨て難くない fact11: 「骨内な」ものはある fact12: 「捨て難い」物はある fact13: もし仮にこの証人席が等々力達であるならこの大干魃は捨て難くない fact14: 「仮に「約束出来る」ものがあるとするとこの証人席は船腹でない」ということは成り立つ fact15: そのエストリオールは許可書でないしおまけに変化し易くない fact16: なにがしかの物は船腹でない fact17: もし仮にこの大干魃が船腹だとしたらこの証人席は骨内でない fact18: この証人席は捨て難い fact19: もしもなにかは約束出来るとすればこの証人席は船腹だということはなくてまた等々力達であるということはない fact20: 「等々力達である」物はある fact21: 「等々力達でない」ものはある fact22: この証人席は貴族社会だ fact23: もし「そのエストリオールは捨て難い」ということは成り立てば「この大干魃は骨内だ」ということは正しいということはない
fact9 & fact19 -> int1: この証人席は船腹でないしそれは等々力達でない; int1 -> int2: この証人席は等々力達でない; int2 & fact2 -> int3: そのエストリオールは捨て難い; int3 & fact23 -> int4: 「この大干魃は骨内でない」ということは成り立つ; int4 -> hypothesis;
$facts$ = fact1: そのエストリオールは組み上がらないししかもそれは約束出来ない fact2: もし仮にこの証人席が等々力達だということはないとしたらそのエストリオールは捨て難い fact3: この証人席は船腹でない fact4: そのエストリオールは等々力達でない fact5: この証人席は約束出来ない fact6: この証人席が捨て難くないならばそのエストリオールは等々力達だ fact7: 「この証人席は約束出来なくてそれは期し難くない」ということは事実である fact8: そのエストリオールは船腹だ fact9: 「「約束出来る」ということは真実な」物はある fact10: あのロータリアンは捨て難くない fact11: 「骨内な」ものはある fact12: 「捨て難い」物はある fact13: もし仮にこの証人席が等々力達であるならこの大干魃は捨て難くない fact14: 「仮に「約束出来る」ものがあるとするとこの証人席は船腹でない」ということは成り立つ fact15: そのエストリオールは許可書でないしおまけに変化し易くない fact16: なにがしかの物は船腹でない fact17: もし仮にこの大干魃が船腹だとしたらこの証人席は骨内でない fact18: この証人席は捨て難い fact19: もしもなにかは約束出来るとすればこの証人席は船腹だということはなくてまた等々力達であるということはない fact20: 「等々力達である」物はある fact21: 「等々力達でない」ものはある fact22: この証人席は貴族社会だ fact23: もし「そのエストリオールは捨て難い」ということは成り立てば「この大干魃は骨内だ」ということは正しいということはない ; $hypothesis$ = 「「「骨内であるということはない」ということは事実である」物はある」ということは成り立たない ; $proof$ = 
fact9 & fact19 -> int1: この証人席は船腹でないしそれは等々力達でない; int1 -> int2: この証人席は等々力達でない; int2 & fact2 -> int3: そのエストリオールは捨て難い; int3 & fact23 -> int4: 「この大干魃は骨内でない」ということは成り立つ; int4 -> 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: もし「そのエストリオールは捨て難い」ということは成り立てば「この大干魃は骨内だ」ということは正しいということはない

仮説: 「「「骨内であるということはない」ということは事実である」物はある」ということは成り立たない
1. 事実9と事実19から、推論1: "この証人席は船腹でないしそれは等々力達でない"が導かれる
2. 推論1から、推論2: "この証人席は等々力達でない"が導かれる
3. 推論2と事実2から、推論3: "そのエストリオールは捨て難い"が導かれる
4. 推論3と事実23から、推論4: "「この大干魃は骨内でない」ということは成り立つ"が導かれる
5. 推論4から、仮説が否定される

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