この成型加工物は訝しくない
fact1: 仮に「その支払い回数は春らしい」ということは成り立つならリスト表示しないかまたはシェアーするかもしくは両方ともだ fact2: もしその支払い回数が春らしいならリスト表示するかシェアーするかあるいは両方だ fact3: もしなにがしかのものが余所余所しかないかまたはシェアーするかあるいは両方ともだとすればこの情けなさは春らしい fact4: その支払い回数はリスト表示する fact5: その支払い回数は春らしい fact6: この嫉妬家は拭い難くないかあるいは余所余所しいかもしくはどちらもである fact7: この嫉妬家が拭い難いならばこの成型加工物は訝しい fact8: もしもこの成型加工物は訝しいなら「この嫉妬家は拭い難いということはないかまたは春らしいか両方ともである」ということは成り立たない fact9: もしも「余所余所しい」ものがあるならこの嫉妬家は拭い難い fact10: もしこの情けなさが流れ易いならその支払い回数はリスト表示する fact11: なにがしかのものは拭い難いかあるいは春らしいかもしくはどちらもだ fact12: もし仮に「その支払い回数は訝しい」ということは事実であるとすると「この成型加工物は春らしくない」ということは成り立つ fact13: もしも流れ易くないか余所余所しいかまたはどちらもなものがあるならこの嫉妬家は拭い難い fact14: もしも「訝しくないかリスト表示する」ものがあるとするとこの成型加工物は春らしい fact15: この情けなさは流れ易いとすると「「「その支払い回数はリスト表示しないかまたはシェアーするか両方だ」ということは事実だ」ということは誤りだ」ということは事実だ fact16: もしこの情けなさは余所余所しいなら「「この成型加工物は拭い難くないかまたは訝しいかもしくはどちらもである」ということは間違っている」ということは成り立つ fact17: 流れ易い物が余所余所しいならば訝しくない fact18: 仮にこの情けなさが余所余所しいとしたらそれは春らしいということはないかそれはシェアーするかまたは両方ともだ fact19: その支払い回数は経済危機である fact20: 「「シェアーしないか春らしい」ということは正しい」物はある
void -> assump1: 以下のように仮定する。この情けなさは流れ易い; fact15 & assump1 -> int1: 「「その支払い回数はリスト表示しないかそれはシェアーするか両方である」ということは間違いである」ということは成り立つ; fact1 & fact5 -> int2: 「その支払い回数はリスト表示しないかあるいはそれはシェアーするかまたは両方だ」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この情けなさは流れ易くない; int4 -> int5: この情けなさは流れ易くないかあるいは余所余所しいかまたはどちらもである; int5 -> int6: 「流れ易くないかもしくは余所余所しい」物はある; int6 & fact13 -> int7: この嫉妬家は拭い難い; int7 & fact7 -> hypothesis;
この成型加工物は訝しくない
fact21 -> int8: もし仮に「この成型加工物は流れ易くてまた余所余所しい」ということは事実であるとすればそれは訝しくない;
$facts$ = fact1: 仮に「その支払い回数は春らしい」ということは成り立つならリスト表示しないかまたはシェアーするかもしくは両方ともだ fact2: もしその支払い回数が春らしいならリスト表示するかシェアーするかあるいは両方だ fact3: もしなにがしかのものが余所余所しかないかまたはシェアーするかあるいは両方ともだとすればこの情けなさは春らしい fact4: その支払い回数はリスト表示する fact5: その支払い回数は春らしい fact6: この嫉妬家は拭い難くないかあるいは余所余所しいかもしくはどちらもである fact7: この嫉妬家が拭い難いならばこの成型加工物は訝しい fact8: もしもこの成型加工物は訝しいなら「この嫉妬家は拭い難いということはないかまたは春らしいか両方ともである」ということは成り立たない fact9: もしも「余所余所しい」ものがあるならこの嫉妬家は拭い難い fact10: もしこの情けなさが流れ易いならその支払い回数はリスト表示する fact11: なにがしかのものは拭い難いかあるいは春らしいかもしくはどちらもだ fact12: もし仮に「その支払い回数は訝しい」ということは事実であるとすると「この成型加工物は春らしくない」ということは成り立つ fact13: もしも流れ易くないか余所余所しいかまたはどちらもなものがあるならこの嫉妬家は拭い難い fact14: もしも「訝しくないかリスト表示する」ものがあるとするとこの成型加工物は春らしい fact15: この情けなさは流れ易いとすると「「「その支払い回数はリスト表示しないかまたはシェアーするか両方だ」ということは事実だ」ということは誤りだ」ということは事実だ fact16: もしこの情けなさは余所余所しいなら「「この成型加工物は拭い難くないかまたは訝しいかもしくはどちらもである」ということは間違っている」ということは成り立つ fact17: 流れ易い物が余所余所しいならば訝しくない fact18: 仮にこの情けなさが余所余所しいとしたらそれは春らしいということはないかそれはシェアーするかまたは両方ともだ fact19: その支払い回数は経済危機である fact20: 「「シェアーしないか春らしい」ということは正しい」物はある ; $hypothesis$ = この成型加工物は訝しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この情けなさは流れ易い; fact15 & assump1 -> int1: 「「その支払い回数はリスト表示しないかそれはシェアーするか両方である」ということは間違いである」ということは成り立つ; fact1 & fact5 -> int2: 「その支払い回数はリスト表示しないかあるいはそれはシェアーするかまたは両方だ」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この情けなさは流れ易くない; int4 -> int5: この情けなさは流れ易くないかあるいは余所余所しいかまたはどちらもである; int5 -> int6: 「流れ易くないかもしくは余所余所しい」物はある; int6 & fact13 -> int7: この嫉妬家は拭い難い; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「その支払い回数は春らしい」ということは成り立つならリスト表示しないかまたはシェアーするかもしくは両方ともだ
事実2: もしその支払い回数が春らしいならリスト表示するかシェアーするかあるいは両方だ
事実3: もしなにがしかのものが余所余所しかないかまたはシェアーするかあるいは両方ともだとすればこの情けなさは春らしい
事実4: その支払い回数はリスト表示する
事実5: その支払い回数は春らしい
事実6: この嫉妬家は拭い難くないかあるいは余所余所しいかもしくはどちらもである
事実7: この嫉妬家が拭い難いならばこの成型加工物は訝しい
事実8: もしもこの成型加工物は訝しいなら「この嫉妬家は拭い難いということはないかまたは春らしいか両方ともである」ということは成り立たない
事実9: もしも「余所余所しい」ものがあるならこの嫉妬家は拭い難い
事実10: もしこの情けなさが流れ易いならその支払い回数はリスト表示する
事実11: なにがしかのものは拭い難いかあるいは春らしいかもしくはどちらもだ
事実12: もし仮に「その支払い回数は訝しい」ということは事実であるとすると「この成型加工物は春らしくない」ということは成り立つ
事実13: もしも流れ易くないか余所余所しいかまたはどちらもなものがあるならこの嫉妬家は拭い難い
事実14: もしも「訝しくないかリスト表示する」ものがあるとするとこの成型加工物は春らしい
事実15: この情けなさは流れ易いとすると「「「その支払い回数はリスト表示しないかまたはシェアーするか両方だ」ということは事実だ」ということは誤りだ」ということは事実だ
事実16: もしこの情けなさは余所余所しいなら「「この成型加工物は拭い難くないかまたは訝しいかもしくはどちらもである」ということは間違っている」ということは成り立つ
事実17: 流れ易い物が余所余所しいならば訝しくない
事実18: 仮にこの情けなさが余所余所しいとしたらそれは春らしいということはないかそれはシェアーするかまたは両方ともだ
事実19: その支払い回数は経済危機である
事実20: 「「シェアーしないか春らしい」ということは正しい」物はある

仮説: この成型加工物は訝しくない
1. 仮定1: 以下のように仮定する。この情けなさは流れ易い
2. 事実15と仮定1から、推論1: "「「その支払い回数はリスト表示しないかそれはシェアーするか両方である」ということは間違いである」ということは成り立つ"が導かれる
3. 事実1と事実5から、推論2: "「その支払い回数はリスト表示しないかあるいはそれはシェアーするかまたは両方だ」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この情けなさは流れ易くない"が導かれる
6. 推論4から、推論5: "この情けなさは流れ易くないかあるいは余所余所しいかまたはどちらもである"が導かれる
7. 推論5から、推論6: "「流れ易くないかもしくは余所余所しい」物はある"が導かれる
8. 推論6と事実13から、推論7: "この嫉妬家は拭い難い"が導かれる
9. 推論7と事実7から、仮説が否定される

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