この不発弾は話し続けないかもしくは反復継続するかあるいは両方だ
fact1: 仮に「あるものは送受信しない」ということは成り立てば「それは話し続けないかあるいは反復継続するかどちらもだ」ということは事実でない fact2: 仮にその地方消費税が菊花であるということはないとするとそのピザは菊花で二十位だ fact3: もしなにがしかのものは這い寄れば「それは出血し易くないしそれにそれは罹患する」ということは間違いである fact4: 全ての物は送受信するし加えてそれは能わない fact5: 全てのものはベーキングパウダーだ fact6: もし仮になにがしかのものはベーキングパウダーなら「系列会社でないしそれにそれは伴い易いということはない」ということは誤っている fact7: この不発弾は話し続けるかあるいは反復継続するか両方ともである fact8: その地方消費税は送受信する fact9: もしも何らかのものが二十位でないとするとそのピザは能わない fact10: その開業が能わないとするとその地方消費税は菊花でない fact11: 仮にあるものが送受信するとすると分かり辛くないかあるいは有名無実であるかまたは両方だ fact12: 「その地方消費税は反復継続しない」ということは成り立つ fact13: もし「なんらかのものは出血し易くない一方で罹患する」ということは成り立たないとするとそれは二十位でない fact14: 「なんらかの物は系列会社でなくてそれは伴い易くない」ということは真実でないとするとそれは系列会社だ fact15: その地方消費税は反復継続しないとすれば「そのピザは話し続けないしまたそれは二十位でない」ということは誤っている fact16: 仮にそのピザが二十位であるとしたらこの不発弾は話し続けないかそれは反復継続するかまたは両方ともだ fact17: もしも「能うということはない」物はあれば「その地方消費税は菊花であるしおまけに能う」ということは事実であるということはない
fact4 -> int1: その開業は送受信する一方で能わない; int1 -> int2: その開業は能わない; int2 & fact10 -> int3: その地方消費税は菊花でない; int3 & fact2 -> int4: そのピザは菊花であるし二十位だ; int4 -> int5: そのピザは二十位である; int5 & fact16 -> hypothesis;
そのピザは分かり辛くないかまたは有名無実だ
fact20 -> int6: もしもそのピザが送受信するとするとそれは分かり辛くないか有名無実であるかあるいは両方である; fact19 & fact18 -> int7: 「そのピザは話し続けるということはないしおまけにそれは二十位でない」ということは間違いだ;
$facts$ = fact1: 仮に「あるものは送受信しない」ということは成り立てば「それは話し続けないかあるいは反復継続するかどちらもだ」ということは事実でない fact2: 仮にその地方消費税が菊花であるということはないとするとそのピザは菊花で二十位だ fact3: もしなにがしかのものは這い寄れば「それは出血し易くないしそれにそれは罹患する」ということは間違いである fact4: 全ての物は送受信するし加えてそれは能わない fact5: 全てのものはベーキングパウダーだ fact6: もし仮になにがしかのものはベーキングパウダーなら「系列会社でないしそれにそれは伴い易いということはない」ということは誤っている fact7: この不発弾は話し続けるかあるいは反復継続するか両方ともである fact8: その地方消費税は送受信する fact9: もしも何らかのものが二十位でないとするとそのピザは能わない fact10: その開業が能わないとするとその地方消費税は菊花でない fact11: 仮にあるものが送受信するとすると分かり辛くないかあるいは有名無実であるかまたは両方だ fact12: 「その地方消費税は反復継続しない」ということは成り立つ fact13: もし「なんらかのものは出血し易くない一方で罹患する」ということは成り立たないとするとそれは二十位でない fact14: 「なんらかの物は系列会社でなくてそれは伴い易くない」ということは真実でないとするとそれは系列会社だ fact15: その地方消費税は反復継続しないとすれば「そのピザは話し続けないしまたそれは二十位でない」ということは誤っている fact16: 仮にそのピザが二十位であるとしたらこの不発弾は話し続けないかそれは反復継続するかまたは両方ともだ fact17: もしも「能うということはない」物はあれば「その地方消費税は菊花であるしおまけに能う」ということは事実であるということはない ; $hypothesis$ = この不発弾は話し続けないかもしくは反復継続するかあるいは両方だ ; $proof$ = 
fact4 -> int1: その開業は送受信する一方で能わない; int1 -> int2: その開業は能わない; int2 & fact10 -> int3: その地方消費税は菊花でない; int3 & fact2 -> int4: そのピザは菊花であるし二十位だ; int4 -> int5: そのピザは二十位である; int5 & fact16 -> hypothesis; __PROVED__
事実1: 仮に「あるものは送受信しない」ということは成り立てば「それは話し続けないかあるいは反復継続するかどちらもだ」ということは事実でない
事実2: 仮にその地方消費税が菊花であるということはないとするとそのピザは菊花で二十位だ
事実3: もしなにがしかのものは這い寄れば「それは出血し易くないしそれにそれは罹患する」ということは間違いである
事実4: 全ての物は送受信するし加えてそれは能わない
事実5: 全てのものはベーキングパウダーだ
事実6: もし仮になにがしかのものはベーキングパウダーなら「系列会社でないしそれにそれは伴い易いということはない」ということは誤っている
事実7: この不発弾は話し続けるかあるいは反復継続するか両方ともである
事実8: その地方消費税は送受信する
事実9: もしも何らかのものが二十位でないとするとそのピザは能わない
事実10: その開業が能わないとするとその地方消費税は菊花でない
事実11: 仮にあるものが送受信するとすると分かり辛くないかあるいは有名無実であるかまたは両方だ
事実12: 「その地方消費税は反復継続しない」ということは成り立つ
事実13: もし「なんらかのものは出血し易くない一方で罹患する」ということは成り立たないとするとそれは二十位でない
事実14: 「なんらかの物は系列会社でなくてそれは伴い易くない」ということは真実でないとするとそれは系列会社だ
事実15: その地方消費税は反復継続しないとすれば「そのピザは話し続けないしまたそれは二十位でない」ということは誤っている
事実16: 仮にそのピザが二十位であるとしたらこの不発弾は話し続けないかそれは反復継続するかまたは両方ともだ
事実17: もしも「能うということはない」物はあれば「その地方消費税は菊花であるしおまけに能う」ということは事実であるということはない

仮説: この不発弾は話し続けないかもしくは反復継続するかあるいは両方だ
1. 事実4から、推論1: "その開業は送受信する一方で能わない"が導かれる
2. 推論1から、推論2: "その開業は能わない"が導かれる
3. 推論2と事実10から、推論3: "その地方消費税は菊花でない"が導かれる
4. 推論3と事実2から、推論4: "そのピザは菊花であるし二十位だ"が導かれる
5. 推論4から、推論5: "そのピザは二十位である"が導かれる
6. 推論5と事実16から、仮説が導かれる

よって、仮説が証明されました。