その残酷さは多頭数でない
fact1: 「その居所はたどたどしくなくて汚くない」ということは誤っている fact2: 仮になにがしかのものが味わわないとすればそれは纏まり易くてかつそれはエネルギー状態である fact3: もし「その居所はたどたどしい」ということは成り立つとすれば「その残酷さは汚くないしさらにコミュニケーションしない」ということは嘘である fact4: 汚い物は多頭数でない fact5: もし仮にその残酷さはたどたどしいなら「「その居所は汚くなくてしかもコミュニケーションしない」ということは成り立つということはない」ということは確かだ fact6: もし仮に「追い捲るけど音楽形式だということはない」ものがあるとすればその抱球は味わわない fact7: あのファックスはコミュニケーションする fact8: その居所は多頭数でない fact9: 「その残酷さは多頭数でないししかもコミュニケーションするということはない」ということは誤りだとすればたどたどしくない fact10: もしその居所はたどたどしいならば「その残酷さは汚いけれどコミュニケーションしない」ということは誤りである fact11: いみじということはないものはたどたどしいかあるいは喚き立てない fact12: その賃金上昇率は再検討しない fact13: もしたどたどしいということはないものが喚き立てないとするとそれは多頭数でない fact14: もし「その残酷さは遣り辛くないしコミュニケーションするということはない」ということは誤りだとしたら生活しない fact15: もしも何らかのものが再検討しないとするとそれが追い捲るしその上それは音楽形式でない fact16: 「その残酷さは汚いがそれはコミュニケーションしない」ということは誤っている fact17: もしもなにがしかのものが纏まり易くて加えてエネルギー状態だとするとその居所はいみじない fact18: その残酷さは発見し得る fact19: 仮にその残酷さは多頭数であるとすれば「その居所は汚くないし更にたどたどしくない」ということは事実と異なる fact20: もしその残酷さはたどたどしいとすれば「その居所はコミュニケーションしなくてそれは汚くない」ということは本当でない fact21: 仮に「なんらかの物は汚くないしコミュニケーションしない」ということは誤りなら多頭数だということはない fact22: もし仮にその残酷さが汚いならば多頭数でない fact23: その居所はたどたどしい
fact3 & fact23 -> int1: 「その残酷さは汚くないしその上コミュニケーションしない」ということは偽である; fact21 -> int2: もし仮に「その残酷さは汚くなくてかつコミュニケーションするということはない」ということは嘘であるとすると多頭数でない; int1 & int2 -> hypothesis;
「その残酷さは多頭数である」ということは成り立つ
fact24 -> int3: もしその居所がいみじということはないならばそれはたどたどしいかそれは喚き立てるということはないかまたは両方だ; fact29 -> int4: もしもその抱球が味わわないとすれば纏まり易いしまたエネルギー状態である; fact26 -> int5: もしもその賃金上昇率が再検討しないならばそれは追い捲るしそれは音楽形式でない; int5 & fact28 -> int6: その賃金上昇率は追い捲るがしかし音楽形式でない; int6 -> int7: なにがしかのものは追い捲るけれど音楽形式でない; int7 & fact25 -> int8: その抱球は味わわない; int4 & int8 -> int9: その抱球は纏まり易くてエネルギー状態である; int9 -> int10: 「纏まり易くてそれにエネルギー状態である」物はある; int10 & fact27 -> int11: その居所はいみじということはない; int3 & int11 -> int12: その居所はたどたどしいかもしくはそれは喚き立てないかまたはどちらもである;
$facts$ = fact1: 「その居所はたどたどしくなくて汚くない」ということは誤っている fact2: 仮になにがしかのものが味わわないとすればそれは纏まり易くてかつそれはエネルギー状態である fact3: もし「その居所はたどたどしい」ということは成り立つとすれば「その残酷さは汚くないしさらにコミュニケーションしない」ということは嘘である fact4: 汚い物は多頭数でない fact5: もし仮にその残酷さはたどたどしいなら「「その居所は汚くなくてしかもコミュニケーションしない」ということは成り立つということはない」ということは確かだ fact6: もし仮に「追い捲るけど音楽形式だということはない」ものがあるとすればその抱球は味わわない fact7: あのファックスはコミュニケーションする fact8: その居所は多頭数でない fact9: 「その残酷さは多頭数でないししかもコミュニケーションするということはない」ということは誤りだとすればたどたどしくない fact10: もしその居所はたどたどしいならば「その残酷さは汚いけれどコミュニケーションしない」ということは誤りである fact11: いみじということはないものはたどたどしいかあるいは喚き立てない fact12: その賃金上昇率は再検討しない fact13: もしたどたどしいということはないものが喚き立てないとするとそれは多頭数でない fact14: もし「その残酷さは遣り辛くないしコミュニケーションするということはない」ということは誤りだとしたら生活しない fact15: もしも何らかのものが再検討しないとするとそれが追い捲るしその上それは音楽形式でない fact16: 「その残酷さは汚いがそれはコミュニケーションしない」ということは誤っている fact17: もしもなにがしかのものが纏まり易くて加えてエネルギー状態だとするとその居所はいみじない fact18: その残酷さは発見し得る fact19: 仮にその残酷さは多頭数であるとすれば「その居所は汚くないし更にたどたどしくない」ということは事実と異なる fact20: もしその残酷さはたどたどしいとすれば「その居所はコミュニケーションしなくてそれは汚くない」ということは本当でない fact21: 仮に「なんらかの物は汚くないしコミュニケーションしない」ということは誤りなら多頭数だということはない fact22: もし仮にその残酷さが汚いならば多頭数でない fact23: その居所はたどたどしい ; $hypothesis$ = その残酷さは多頭数でない ; $proof$ = 
fact3 & fact23 -> int1: 「その残酷さは汚くないしその上コミュニケーションしない」ということは偽である; fact21 -> int2: もし仮に「その残酷さは汚くなくてかつコミュニケーションするということはない」ということは嘘であるとすると多頭数でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その居所はたどたどしくなくて汚くない」ということは誤っている
事実2: 仮になにがしかのものが味わわないとすればそれは纏まり易くてかつそれはエネルギー状態である
事実3: もし「その居所はたどたどしい」ということは成り立つとすれば「その残酷さは汚くないしさらにコミュニケーションしない」ということは嘘である
事実4: 汚い物は多頭数でない
事実5: もし仮にその残酷さはたどたどしいなら「「その居所は汚くなくてしかもコミュニケーションしない」ということは成り立つということはない」ということは確かだ
事実6: もし仮に「追い捲るけど音楽形式だということはない」ものがあるとすればその抱球は味わわない
事実7: あのファックスはコミュニケーションする
事実8: その居所は多頭数でない
事実9: 「その残酷さは多頭数でないししかもコミュニケーションするということはない」ということは誤りだとすればたどたどしくない
事実10: もしその居所はたどたどしいならば「その残酷さは汚いけれどコミュニケーションしない」ということは誤りである
事実11: いみじということはないものはたどたどしいかあるいは喚き立てない
事実12: その賃金上昇率は再検討しない
事実13: もしたどたどしいということはないものが喚き立てないとするとそれは多頭数でない
事実14: もし「その残酷さは遣り辛くないしコミュニケーションするということはない」ということは誤りだとしたら生活しない
事実15: もしも何らかのものが再検討しないとするとそれが追い捲るしその上それは音楽形式でない
事実16: 「その残酷さは汚いがそれはコミュニケーションしない」ということは誤っている
事実17: もしもなにがしかのものが纏まり易くて加えてエネルギー状態だとするとその居所はいみじない
事実18: その残酷さは発見し得る
事実19: 仮にその残酷さは多頭数であるとすれば「その居所は汚くないし更にたどたどしくない」ということは事実と異なる
事実20: もしその残酷さはたどたどしいとすれば「その居所はコミュニケーションしなくてそれは汚くない」ということは本当でない
事実21: 仮に「なんらかの物は汚くないしコミュニケーションしない」ということは誤りなら多頭数だということはない
事実22: もし仮にその残酷さが汚いならば多頭数でない
事実23: その居所はたどたどしい

仮説: その残酷さは多頭数でない
1. 事実3と事実23から、推論1: "「その残酷さは汚くないしその上コミュニケーションしない」ということは偽である"が導かれる
2. 事実21から、推論2: "もし仮に「その残酷さは汚くなくてかつコミュニケーションするということはない」ということは嘘であるとすると多頭数でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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