あの数十軒は空しい
fact1: もしその戸口彫刻は音楽ホールであるならば厄介払いする fact2: もしも「その戸口彫刻は寒性であるかもしくは空しかない」ということは誤りならあの数十軒は民間住宅であるということはない fact3: もし「その戸口彫刻は再抗弁である」ということは正しいとしたら「そのＵＴＦは改札口であるかあるいは民間住宅だということはない」ということは成り立たない fact4: もし仮に「その戸口彫刻は空しかないけれどそれは再抗弁だ」ということは成り立たないならあの数十軒は空しい fact5: 愚かしいものは空しい fact6: もしその戸口彫刻は愚かしいかあるいは再抗弁でないか両方であるならそれは寒性だ fact7: もしも「そのＵＴＦは改札口であるかあるいはそれは民間住宅でない」ということは嘘だとするとあの数十軒は空しいということはない fact8: もし仮に「なにかは橡だけれどそれは舞い上げない」ということは間違いであるならば改札口だということはない fact9: なんらかのものは御存じ無くない fact10: そのＵＴＦは再抗弁でない fact11: 音楽ホールは愚かしくないけれど寒性だ fact12: 仮にその戸口彫刻が再抗弁だとしたらそのＵＴＦは民間住宅だ fact13: 「民間住宅な」ものはあるとすると「あの当企業は音楽ホールでないしさらに厄介払いするということはない」ということは成り立つということはない fact14: 「その戸口彫刻は厄介払いしない」ということは成り立つ fact15: そのＵＴＦは自然気胸だということはない fact16: そのＵＴＦは民間住宅である fact17: もし仮に何かは改札口でないなら「それは民間住宅である」ということは成り立つ fact18: 仮に「そのＵＴＦは改札口であるかあるいは民間住宅であるかまたは両方ともである」ということは間違っているとするとあの数十軒は空しかない fact19: もしそのＵＴＦは愚かしくないなら「その戸口彫刻は空しかないがしかし再抗弁だ」ということは間違っている fact20: 仮にその戸口彫刻は寒性だとすると「それは音楽ホールである」ということは成り立つ fact21: もし仮に「御存じ無いということはない」物はあるとすると「その戸口彫刻は橡であるけれど舞い上げない」ということは成り立たない fact22: もしその戸口彫刻が愚かしいならそれは寒性だ fact23: 「あのシーズン毎は厄介払いしない」ということは成り立つ
void -> assump1: 以下のように仮定する。「その戸口彫刻は再抗弁だということはない」ということは真実だ; assump1 -> int1: その戸口彫刻は愚かしいかあるいは再抗弁だということはない; int1 & fact6 -> int2: その戸口彫刻は寒性である; int2 & fact20 -> int3: その戸口彫刻は音楽ホールである; int3 & fact1 -> int4: その戸口彫刻は厄介払いする; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その戸口彫刻は再抗弁である」ということは確かだ; int6 & fact3 -> int7: 「そのＵＴＦは改札口であるかまたは民間住宅であるということはないかあるいは両方だ」ということは間違いである; int7 & fact7 -> hypothesis;
あの当企業は空しい
fact27 -> int8: もしもその戸口彫刻は改札口でないとすれば「民間住宅だ」ということは成り立つ; fact29 -> int9: もしも「その戸口彫刻は橡である一方で舞い上げない」ということは間違いだとすれば改札口でない; fact26 & fact24 -> int10: 「その戸口彫刻は橡であり舞い上げるということはない」ということは嘘である; int9 & int10 -> int11: その戸口彫刻は改札口だということはない; int8 & int11 -> int12: 「その戸口彫刻は民間住宅である」ということは正しい; int12 -> int13: 「民間住宅である」ものはある; int13 & fact25 -> int14: 「あの当企業は音楽ホールでないしそれにそれは厄介払いしない」ということは成り立たない; fact28 -> int15: あの当企業が愚かしいならそれは空しい;
$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$ = 
void -> assump1: 以下のように仮定する。「その戸口彫刻は再抗弁だということはない」ということは真実だ; assump1 -> int1: その戸口彫刻は愚かしいかあるいは再抗弁だということはない; int1 & fact6 -> int2: その戸口彫刻は寒性である; int2 & fact20 -> int3: その戸口彫刻は音楽ホールである; int3 & fact1 -> int4: その戸口彫刻は厄介払いする; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その戸口彫刻は再抗弁である」ということは確かだ; int6 & fact3 -> 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: 仮にその戸口彫刻は寒性だとすると「それは音楽ホールである」ということは成り立つ
事実21: もし仮に「御存じ無いということはない」物はあるとすると「その戸口彫刻は橡であるけれど舞い上げない」ということは成り立たない
事実22: もしその戸口彫刻が愚かしいならそれは寒性だ
事実23: 「あのシーズン毎は厄介払いしない」ということは成り立つ

仮説: あの数十軒は空しい
1. 仮定1: 以下のように仮定する。「その戸口彫刻は再抗弁だということはない」ということは真実だ
2. 仮定1から、推論1: "その戸口彫刻は愚かしいかあるいは再抗弁だということはない"が導かれる
3. 推論1と事実6から、推論2: "その戸口彫刻は寒性である"が導かれる
4. 推論2と事実20から、推論3: "その戸口彫刻は音楽ホールである"が導かれる
5. 推論3と事実1から、推論4: "その戸口彫刻は厄介払いする"が導かれる
6. 推論4と事実14から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その戸口彫刻は再抗弁である」ということは確かだ"が導かれる
8. 推論6と事実3から、推論7: "「そのＵＴＦは改札口であるかまたは民間住宅であるということはないかあるいは両方だ」ということは間違いである"が導かれる
9. 推論7と事実7から、仮説が否定される

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