「あの楽長は連射するかまたはそれは啜る」ということは確かでない
fact1: この佐和山城はベルト着用でない fact2: この佐和山城が連射しないとするとその捜索手続きは連射する fact3: あの兜は走り始めないがしかし形容し難い fact4: あの楽長は応じ得る fact5: あの大明は太い fact6: 「この佐和山城は恵み深い」ということは事実と異なるということはない fact7: 仮に何かは応じ得ないとすると「連射するかそれは啜るかもしくはどちらもである」ということは間違いだ fact8: あの楽長は慌ただしいかそれは連射するかどちらもである fact9: この快適装備は太くない fact10: もしなんらかのものがきったなくないならば転換出来る fact11: 「この資本原理は恵み深くない」ということは成り立つ fact12: 「この佐和山城は連射しない」ということは成り立つ fact13: もし「あの楽長は応じ得ないけれど連射する」ということは誤っているとしたらこの佐和山城は連射しない fact14: もし仮にこの佐和山城は応じ得ないがしかし恵み深いならば「あの楽長は太くない」ということは成り立つ fact15: 「あの吸水力は太い」ということは真実である fact16: 「この腰湯は応じ得ない」ということは本当である fact17: この佐和山城は啜らない fact18: あの楽長は啜らないけど恵み深い fact19: あの楽長はぎこちないということはない fact20: あの楽長はしどけなくないがしかし青白い fact21: 「この佐和山城は進化し易くない」ということは真実だ fact22: 太くない物は連射する fact23: 「この佐和山城は応じ得ない」ということは本当である
fact23 & fact6 -> int1: この佐和山城は応じ得ないけど恵み深い; int1 & fact14 -> int2: あの楽長は太くない; fact22 -> int3: もし仮にあの楽長が太くないならそれは連射する; int2 & int3 -> 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$ = 
fact23 & fact6 -> int1: この佐和山城は応じ得ないけど恵み深い; int1 & fact14 -> int2: あの楽長は太くない; fact22 -> int3: もし仮にあの楽長が太くないならそれは連射する; int2 & int3 -> 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. 事実23と事実6から、推論1: "この佐和山城は応じ得ないけど恵み深い"が導かれる
2. 推論1と事実14から、推論2: "あの楽長は太くない"が導かれる
3. 事実22から、推論3: "もし仮にあの楽長が太くないならそれは連射する"が導かれる
4. 推論2と推論3から、推論4: "あの楽長は連射する"が導かれる
5. 推論4から、仮説が否定される

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