その塩分遮蔽性はボンベだということはない
fact1: 仮に何かは戸籍上であるとしたらそれは全データである fact2: もし仮にあの大便が同一化するということはなくて加えて有毒ガスでないとすればあの競合店はどでかい fact3: あの競合店はベンチャーだけど御聞かせ願うということはない fact4: もしも「あの競合店はヨーグルトである」ということは確かならばその塩分遮蔽性はボンベである fact5: もしもその塩分遮蔽性が餌付けするがしかしボンベでないとしたら御聞かせ願う fact6: 仮にその塩分遮蔽性が御聞かせ願うならあの競合店はボンベだ fact7: もしもその塩分遮蔽性がヨーグルトであるとするとあの競合店は餌付けする fact8: あの競合店がベンチャーであるがそれが御聞かせ願うということはないならそれは餌付けする fact9: 仮にあの競合店がボンベでないしさらにそれがヨーグルトでないならこのパンワールドファイナンスは餌付けする fact10: あの朝家は連絡し合うということはない fact11: もし仮に「何らかのものは餌付けするということはないけれどヨーグルトである」ということは誤りだとしたらボンベでない fact12: あの競合店は御聞かせ願うということはない fact13: もしとある物は仕舞い兼ねないとしたら「ボンベでなくてしかもヨーグルトでない」ということは本当だ fact14: もし仮になにかはどでかいとしたら仕舞い兼ねないかまたは稲岡等でない fact15: もしもなにがしかの物は餌付けするとすれば「それはヨーグルトである」ということは確かである fact16: もしあの朝家は連絡し合うということはないならば「有毒ガスだがしかし同一化しない」ということは成り立つということはない fact17: 仮に「「有毒ガスだがしかし同一化しない」ということは誤っている」ものがあるとするとあの大便は稲岡等だ fact18: もしもあの競合店がベンチャーだし更に御聞かせ願うとすると餌付けする
fact8 & fact3 -> int1: あの競合店は餌付けする; fact15 -> int2: もしもあの競合店が餌付けするとするとそれはヨーグルトである; int1 & int2 -> int3: あの競合店はヨーグルトだ; int3 & fact4 -> hypothesis;
その塩分遮蔽性はボンベでない
fact19 -> int4: 仮に「その塩分遮蔽性は餌付けしないけれどヨーグルトだ」ということは成り立たないとしたらボンベでない; fact20 -> int5: 仮にあの競合店がどでかいとしたらそれは仕舞い兼ねないか稲岡等でない;
$facts$ = fact1: 仮に何かは戸籍上であるとしたらそれは全データである fact2: もし仮にあの大便が同一化するということはなくて加えて有毒ガスでないとすればあの競合店はどでかい fact3: あの競合店はベンチャーだけど御聞かせ願うということはない fact4: もしも「あの競合店はヨーグルトである」ということは確かならばその塩分遮蔽性はボンベである fact5: もしもその塩分遮蔽性が餌付けするがしかしボンベでないとしたら御聞かせ願う fact6: 仮にその塩分遮蔽性が御聞かせ願うならあの競合店はボンベだ fact7: もしもその塩分遮蔽性がヨーグルトであるとするとあの競合店は餌付けする fact8: あの競合店がベンチャーであるがそれが御聞かせ願うということはないならそれは餌付けする fact9: 仮にあの競合店がボンベでないしさらにそれがヨーグルトでないならこのパンワールドファイナンスは餌付けする fact10: あの朝家は連絡し合うということはない fact11: もし仮に「何らかのものは餌付けするということはないけれどヨーグルトである」ということは誤りだとしたらボンベでない fact12: あの競合店は御聞かせ願うということはない fact13: もしとある物は仕舞い兼ねないとしたら「ボンベでなくてしかもヨーグルトでない」ということは本当だ fact14: もし仮になにかはどでかいとしたら仕舞い兼ねないかまたは稲岡等でない fact15: もしもなにがしかの物は餌付けするとすれば「それはヨーグルトである」ということは確かである fact16: もしあの朝家は連絡し合うということはないならば「有毒ガスだがしかし同一化しない」ということは成り立つということはない fact17: 仮に「「有毒ガスだがしかし同一化しない」ということは誤っている」ものがあるとするとあの大便は稲岡等だ fact18: もしもあの競合店がベンチャーだし更に御聞かせ願うとすると餌付けする ; $hypothesis$ = その塩分遮蔽性はボンベだということはない ; $proof$ = 
fact8 & fact3 -> int1: あの競合店は餌付けする; fact15 -> int2: もしもあの競合店が餌付けするとするとそれはヨーグルトである; int1 & int2 -> int3: あの競合店はヨーグルトだ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に何かは戸籍上であるとしたらそれは全データである
事実2: もし仮にあの大便が同一化するということはなくて加えて有毒ガスでないとすればあの競合店はどでかい
事実3: あの競合店はベンチャーだけど御聞かせ願うということはない
事実4: もしも「あの競合店はヨーグルトである」ということは確かならばその塩分遮蔽性はボンベである
事実5: もしもその塩分遮蔽性が餌付けするがしかしボンベでないとしたら御聞かせ願う
事実6: 仮にその塩分遮蔽性が御聞かせ願うならあの競合店はボンベだ
事実7: もしもその塩分遮蔽性がヨーグルトであるとするとあの競合店は餌付けする
事実8: あの競合店がベンチャーであるがそれが御聞かせ願うということはないならそれは餌付けする
事実9: 仮にあの競合店がボンベでないしさらにそれがヨーグルトでないならこのパンワールドファイナンスは餌付けする
事実10: あの朝家は連絡し合うということはない
事実11: もし仮に「何らかのものは餌付けするということはないけれどヨーグルトである」ということは誤りだとしたらボンベでない
事実12: あの競合店は御聞かせ願うということはない
事実13: もしとある物は仕舞い兼ねないとしたら「ボンベでなくてしかもヨーグルトでない」ということは本当だ
事実14: もし仮になにかはどでかいとしたら仕舞い兼ねないかまたは稲岡等でない
事実15: もしもなにがしかの物は餌付けするとすれば「それはヨーグルトである」ということは確かである
事実16: もしあの朝家は連絡し合うということはないならば「有毒ガスだがしかし同一化しない」ということは成り立つということはない
事実17: 仮に「「有毒ガスだがしかし同一化しない」ということは誤っている」ものがあるとするとあの大便は稲岡等だ
事実18: もしもあの競合店がベンチャーだし更に御聞かせ願うとすると餌付けする

仮説: その塩分遮蔽性はボンベだということはない
1. 事実8と事実3から、推論1: "あの競合店は餌付けする"が導かれる
2. 事実15から、推論2: "もしもあの競合店が餌付けするとするとそれはヨーグルトである"が導かれる
3. 推論1と推論2から、推論3: "あの競合店はヨーグルトだ"が導かれる
4. 推論3と事実4から、仮説が否定される

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