この加工賃問題は署名・捺印する
fact1: 「もしも「あの裏見は情けないししかも変身出来る」ということは成り立たないとすれば「あの裏見は情けなくない」ということは確かである」ということは正しい fact2: 情けなくない物はジム・タイルだ fact3: もしも「「あの裏見は増生しないがまあるい」ということは本当である」ということは事実でないとすれば軽度であるということはない fact4: もしあの裏見が絶え兼ねらないならこの加工賃問題は署名・捺印するししかもそれは軽度だ fact5: 仮にある物がジム・タイルならば染色しないけれど御待ちに成る fact6: あるものが軽度でないとすればそれは増生するし署名・捺印する fact7: もしこの下口唇が御待ちに成らないとすればあの忍び足は染色するがしかし絶え兼ねらない fact8: あの忍び足は絶え兼ねるがしかしそれは御待ちに成らない fact9: あの裏見が軽度でないならあの忍び足は軽度でない fact10: 仮にあの忍び足が染色する一方でそれは絶え兼ねらないなら「あの裏見は絶え兼ねらない」ということは正しい fact11: あの忍び足は御待ちに成らない fact12: 「変身出来るということはない」物はある fact13: もし「「変身出来るということはない」ということは確かである」ものはあるとしたら「あの裏見は情けないしかつ変身出来る」ということは偽である fact14: この加工賃問題は情けないけどそれは染色しない fact15: もし仮に「あの裏見は署名・捺印するかまあるいか両方だ」ということは事実と異なるとすると増生しない fact16: もし何かは染色しないとしたらこの加工賃問題は軽度であるしそれは絶え兼ねる fact17: もしあの裏見は軽度でないならば「あの忍び足は染色するか軽度であるかどちらもだ」ということは間違いである fact18: 仮に「この加工賃問題は署名・捺印する」ということは嘘でないとすれば「あの裏見は増生しないがそれはまあるい」ということは間違っている fact19: もし「あの忍び足は染色するか軽度である」ということは誤っているとするとそれは絶え兼ねらない fact20: もしあの忍び足は増生しないとしたら「あの裏見は絶え兼ねるかもしくはそれは増生するかもしくは両方である」ということは誤っている fact21: 仮にこの成膜前は情けなくないけど変身出来るならジム・タイルでない fact22: 仮にあの裏見はまあるくないとしたら「軽度であるということはない」ということは正しい fact23: 仮に「この加工賃問題は軽度である」ということは本当ならばあの忍び足は軽度でない fact24: あの忍び足は軽度でない
void -> assump1: 以下のように仮定する。この加工賃問題は署名・捺印する; fact18 & assump1 -> int1: 「あの裏見は増生しないけれどまあるい」ということは間違っている; int1 & fact3 -> int2: あの裏見は軽度でない; int2 & fact17 -> int3: 「あの忍び足は染色するかまたはそれは軽度である」ということは偽だ; int3 & fact19 -> int4: あの忍び足は絶え兼ねらない; fact8 -> int5: 「あの忍び足は絶え兼ねる」ということは成り立つ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの忍び足は増生する」ということは誤りでない
fact31 -> int7: もし仮にあの忍び足は軽度でないならそれは増生するしさらに署名・捺印する; fact32 -> int8: あの裏見がジム・タイルだとしたら染色するということはないけど御待ちに成る; fact30 -> int9: もし仮にあの裏見が情けなくないとするとジム・タイルだ; fact28 & fact26 -> int10: 「あの裏見は情けないし変身出来る」ということは成り立つということはない; fact25 & int10 -> int11: あの裏見は情けなくない; int9 & int11 -> int12: あの裏見はジム・タイルである; int8 & int12 -> int13: あの裏見は染色しないけどそれは御待ちに成る; int13 -> int14: あの裏見は染色しない; int14 -> int15: 何かは染色するということはない; int15 & fact29 -> int16: この加工賃問題は軽度だし絶え兼ねる; int16 -> int17: この加工賃問題は軽度である; fact27 & int17 -> int18: 「あの忍び足は軽度でない」ということは成り立つ; int7 & int18 -> int19: あの忍び足は増生するしおまけにそれは署名・捺印する; int19 -> 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: 仮に「この加工賃問題は軽度である」ということは本当ならばあの忍び足は軽度でない fact24: あの忍び足は軽度でない ; $hypothesis$ = この加工賃問題は署名・捺印する ; $proof$ = 
void -> assump1: 以下のように仮定する。この加工賃問題は署名・捺印する; fact18 & assump1 -> int1: 「あの裏見は増生しないけれどまあるい」ということは間違っている; int1 & fact3 -> int2: あの裏見は軽度でない; int2 & fact17 -> int3: 「あの忍び足は染色するかまたはそれは軽度である」ということは偽だ; int3 & fact19 -> int4: あの忍び足は絶え兼ねらない; fact8 -> int5: 「あの忍び足は絶え兼ねる」ということは成り立つ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> 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: 仮に「この加工賃問題は軽度である」ということは本当ならばあの忍び足は軽度でない
事実24: あの忍び足は軽度でない

仮説: この加工賃問題は署名・捺印する
1. 仮定1: 以下のように仮定する。この加工賃問題は署名・捺印する
2. 事実18と仮定1から、推論1: "「あの裏見は増生しないけれどまあるい」ということは間違っている"が導かれる
3. 推論1と事実3から、推論2: "あの裏見は軽度でない"が導かれる
4. 推論2と事実17から、推論3: "「あの忍び足は染色するかまたはそれは軽度である」ということは偽だ"が導かれる
5. 推論3と事実19から、推論4: "あの忍び足は絶え兼ねらない"が導かれる
6. 事実8から、推論5: "「あの忍び足は絶え兼ねる」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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