その戒は放射するということはない
fact1: もしも「「叫び始めなくてレアケースだということはない」ということは成り立たない」ものがあるならばあのパンチは排便しない fact2: もし仮にあのパンチは排便しないとしたら「編み止めするし更に補助動力装置であるということはない」ということは誤りである fact3: 「あの二月分は作付けするが排便しない」ということは間違っている fact4: 「「ペレストロイカでかつ編み止めしない」ということは偽である」ものはある fact5: 「「叫び始めなくておまけにレアケースでない」ということは誤りである」ものはある fact6: その差別問題は叫び始めるということはない fact7: もしも「あのパンチは編み止めするがしかしそれは補助動力装置だということはない」ということは成り立たないとするとその差別問題は主張立証する fact8: 仮にその差別問題が主張立証するとするとあの二月分は作付けする fact9: もしもあの二月分がペレストロイカであるし加えて作付けするとしたらその戒は放射しない fact10: あの二月分はペレストロイカだ
fact5 & fact1 -> int1: 「あのパンチは排便しない」ということは真実だ; int1 & fact2 -> int2: 「あのパンチは編み止めする一方で補助動力装置でない」ということは成り立つということはない; int2 & fact7 -> int3: 「その差別問題は主張立証する」ということは成り立つ; int3 & fact8 -> int4: あの二月分は作付けする; int4 & fact10 -> int5: あの二月分はペレストロイカだしそれに作付けする; int5 & fact9 -> hypothesis;
$facts$ = fact1: もしも「「叫び始めなくてレアケースだということはない」ということは成り立たない」ものがあるならばあのパンチは排便しない fact2: もし仮にあのパンチは排便しないとしたら「編み止めするし更に補助動力装置であるということはない」ということは誤りである fact3: 「あの二月分は作付けするが排便しない」ということは間違っている fact4: 「「ペレストロイカでかつ編み止めしない」ということは偽である」ものはある fact5: 「「叫び始めなくておまけにレアケースでない」ということは誤りである」ものはある fact6: その差別問題は叫び始めるということはない fact7: もしも「あのパンチは編み止めするがしかしそれは補助動力装置だということはない」ということは成り立たないとするとその差別問題は主張立証する fact8: 仮にその差別問題が主張立証するとするとあの二月分は作付けする fact9: もしもあの二月分がペレストロイカであるし加えて作付けするとしたらその戒は放射しない fact10: あの二月分はペレストロイカだ ; $hypothesis$ = その戒は放射するということはない ; $proof$ = 
fact5 & fact1 -> int1: 「あのパンチは排便しない」ということは真実だ; int1 & fact2 -> int2: 「あのパンチは編み止めする一方で補助動力装置でない」ということは成り立つということはない; int2 & fact7 -> int3: 「その差別問題は主張立証する」ということは成り立つ; int3 & fact8 -> int4: あの二月分は作付けする; int4 & fact10 -> int5: あの二月分はペレストロイカだしそれに作付けする; int5 & fact9 -> hypothesis; __PROVED__
事実1: もしも「「叫び始めなくてレアケースだということはない」ということは成り立たない」ものがあるならばあのパンチは排便しない
事実2: もし仮にあのパンチは排便しないとしたら「編み止めするし更に補助動力装置であるということはない」ということは誤りである
事実3: 「あの二月分は作付けするが排便しない」ということは間違っている
事実4: 「「ペレストロイカでかつ編み止めしない」ということは偽である」ものはある
事実5: 「「叫び始めなくておまけにレアケースでない」ということは誤りである」ものはある
事実6: その差別問題は叫び始めるということはない
事実7: もしも「あのパンチは編み止めするがしかしそれは補助動力装置だということはない」ということは成り立たないとするとその差別問題は主張立証する
事実8: 仮にその差別問題が主張立証するとするとあの二月分は作付けする
事実9: もしもあの二月分がペレストロイカであるし加えて作付けするとしたらその戒は放射しない
事実10: あの二月分はペレストロイカだ

仮説: その戒は放射するということはない
1. 事実5と事実1から、推論1: "「あのパンチは排便しない」ということは真実だ"が導かれる
2. 推論1と事実2から、推論2: "「あのパンチは編み止めする一方で補助動力装置でない」ということは成り立つということはない"が導かれる
3. 推論2と事実7から、推論3: "「その差別問題は主張立証する」ということは成り立つ"が導かれる
4. 推論3と事実8から、推論4: "あの二月分は作付けする"が導かれる
5. 推論4と事実10から、推論5: "あの二月分はペレストロイカだしそれに作付けする"が導かれる
6. 推論5と事実9から、仮説が導かれる

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