もしもあの集合体がアナログモデムであるとしたらそのストリートは最低ＬＶである
fact1: この平均化は形容し難いかまたは止む無しかあるいは両方ともだ fact2: もし「とあるものは東端でないけれど提示する」ということは成り立たないならば「それは最低ＬＶである」ということは本当である fact3: もしあのアセトンが提示しないかまたは最低ＬＶであるかもしくは両方だとしたらそのストリートは東端であるということはない fact4: もしあのアセトンは提示するとすると「そのストリートは東端でない一方で提示する」ということは誤りだ fact5: もしもあのアセトンが提示しないとすればそのストリートは東端でないかそれは形容し難いかもしくはどちらもである fact6: 「あのアセトンは形容し難くないけど提示する」ということは成り立たない fact7: この平均化は忠実忠実しかないか内通する fact8: 仮にこの平均化は形容し難くないなら「あの集合体はアナログモデムだということはない」ということは誤りだということはない fact9: 「そのストリートは提示しない」ということは本当ならば最低ＬＶだ fact10: 「そのストリートが形容し難いならばこの平均化は東端である」ということは正しい fact11: この平均化が形容し難いということはないか止む無しかもしくはどちらもであるとするとあの集合体はアナログモデムでない fact12: もし仮に「とあるものは形容し難くないけれどそれは提示する」ということは成り立たないならそれはアナログモデムである fact13: 仮にあのアセトンが提示しないならこの平均化は形容し難いということはないかまたは止む無しかあるいは両方ともだ fact14: 仮に「なにがしかのものは形容し難くない一方で止む無し」ということは偽であるとしたら「それは提示する」ということは事実だ fact15: 「あの常夜灯は廃棄物処理法でないけど溶接出来る」ということは誤りだ fact16: もし仮にあのアセトンが提示しないならこの平均化は形容し難いかそれは止む無しかまたは両方である fact17: もしそのストリートは東端であるとすると「この平均化は形容し難くないがしかし東端である」ということは成り立たない fact18: なんらかの物が提示しないならばそれは最低ＬＶだ fact19: もし仮にこの平均化が形容し難くないかそれが止む無しならばあの集合体はアナログモデムである
void -> assump2: 以下のように仮定する。あのアセトンは提示しない; fact13 & assump2 -> int1: この平均化は形容し難いということはないかあるいは止む無し; int1 & fact11 -> int2: あの集合体はアナログモデムだということはない; void -> assump1: 以下のように仮定する。あの集合体はアナログモデムである; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あのアセトンは提示する; int4 & fact4 -> int5: 「そのストリートは東端でないけど提示する」ということは誤りだ; fact2 -> int6: もしも「そのストリートは東端だということはないがそれは提示する」ということは成り立つということはないなら最低ＬＶだ; int5 & int6 -> int7: そのストリートは最低ＬＶだ; [assump1] & int7 -> hypothesis;
$facts$ = fact1: この平均化は形容し難いかまたは止む無しかあるいは両方ともだ fact2: もし「とあるものは東端でないけれど提示する」ということは成り立たないならば「それは最低ＬＶである」ということは本当である fact3: もしあのアセトンが提示しないかまたは最低ＬＶであるかもしくは両方だとしたらそのストリートは東端であるということはない fact4: もしあのアセトンは提示するとすると「そのストリートは東端でない一方で提示する」ということは誤りだ fact5: もしもあのアセトンが提示しないとすればそのストリートは東端でないかそれは形容し難いかもしくはどちらもである fact6: 「あのアセトンは形容し難くないけど提示する」ということは成り立たない fact7: この平均化は忠実忠実しかないか内通する fact8: 仮にこの平均化は形容し難くないなら「あの集合体はアナログモデムだということはない」ということは誤りだということはない fact9: 「そのストリートは提示しない」ということは本当ならば最低ＬＶだ fact10: 「そのストリートが形容し難いならばこの平均化は東端である」ということは正しい fact11: この平均化が形容し難いということはないか止む無しかもしくはどちらもであるとするとあの集合体はアナログモデムでない fact12: もし仮に「とあるものは形容し難くないけれどそれは提示する」ということは成り立たないならそれはアナログモデムである fact13: 仮にあのアセトンが提示しないならこの平均化は形容し難いということはないかまたは止む無しかあるいは両方ともだ fact14: 仮に「なにがしかのものは形容し難くない一方で止む無し」ということは偽であるとしたら「それは提示する」ということは事実だ fact15: 「あの常夜灯は廃棄物処理法でないけど溶接出来る」ということは誤りだ fact16: もし仮にあのアセトンが提示しないならこの平均化は形容し難いかそれは止む無しかまたは両方である fact17: もしそのストリートは東端であるとすると「この平均化は形容し難くないがしかし東端である」ということは成り立たない fact18: なんらかの物が提示しないならばそれは最低ＬＶだ fact19: もし仮にこの平均化が形容し難くないかそれが止む無しならばあの集合体はアナログモデムである ; $hypothesis$ = もしもあの集合体がアナログモデムであるとしたらそのストリートは最低ＬＶである ; $proof$ = 
void -> assump2: 以下のように仮定する。あのアセトンは提示しない; fact13 & assump2 -> int1: この平均化は形容し難いということはないかあるいは止む無し; int1 & fact11 -> int2: あの集合体はアナログモデムだということはない; void -> assump1: 以下のように仮定する。あの集合体はアナログモデムである; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あのアセトンは提示する; int4 & fact4 -> int5: 「そのストリートは東端でないけど提示する」ということは誤りだ; fact2 -> int6: もしも「そのストリートは東端だということはないがそれは提示する」ということは成り立つということはないなら最低ＬＶだ; int5 & int6 -> int7: そのストリートは最低ＬＶだ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: この平均化は形容し難いかまたは止む無しかあるいは両方ともだ
事実2: もし「とあるものは東端でないけれど提示する」ということは成り立たないならば「それは最低ＬＶである」ということは本当である
事実3: もしあのアセトンが提示しないかまたは最低ＬＶであるかもしくは両方だとしたらそのストリートは東端であるということはない
事実4: もしあのアセトンは提示するとすると「そのストリートは東端でない一方で提示する」ということは誤りだ
事実5: もしもあのアセトンが提示しないとすればそのストリートは東端でないかそれは形容し難いかもしくはどちらもである
事実6: 「あのアセトンは形容し難くないけど提示する」ということは成り立たない
事実7: この平均化は忠実忠実しかないか内通する
事実8: 仮にこの平均化は形容し難くないなら「あの集合体はアナログモデムだということはない」ということは誤りだということはない
事実9: 「そのストリートは提示しない」ということは本当ならば最低ＬＶだ
事実10: 「そのストリートが形容し難いならばこの平均化は東端である」ということは正しい
事実11: この平均化が形容し難いということはないか止む無しかもしくはどちらもであるとするとあの集合体はアナログモデムでない
事実12: もし仮に「とあるものは形容し難くないけれどそれは提示する」ということは成り立たないならそれはアナログモデムである
事実13: 仮にあのアセトンが提示しないならこの平均化は形容し難いということはないかまたは止む無しかあるいは両方ともだ
事実14: 仮に「なにがしかのものは形容し難くない一方で止む無し」ということは偽であるとしたら「それは提示する」ということは事実だ
事実15: 「あの常夜灯は廃棄物処理法でないけど溶接出来る」ということは誤りだ
事実16: もし仮にあのアセトンが提示しないならこの平均化は形容し難いかそれは止む無しかまたは両方である
事実17: もしそのストリートは東端であるとすると「この平均化は形容し難くないがしかし東端である」ということは成り立たない
事実18: なんらかの物が提示しないならばそれは最低ＬＶだ
事実19: もし仮にこの平均化が形容し難くないかそれが止む無しならばあの集合体はアナログモデムである

仮説: もしもあの集合体がアナログモデムであるとしたらそのストリートは最低ＬＶである
1. 仮定2: 以下のように仮定する。あのアセトンは提示しない
2. 事実13と仮定2から、推論1: "この平均化は形容し難いということはないかあるいは止む無し"が導かれる
3. 推論1と事実11から、推論2: "あの集合体はアナログモデムだということはない"が導かれる
4. 仮定1: 以下のように仮定する。あの集合体はアナログモデムである
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あのアセトンは提示する"が導かれる
7. 推論4と事実4から、推論5: "「そのストリートは東端でないけど提示する」ということは誤りだ"が導かれる
8. 事実2から、推論6: "もしも「そのストリートは東端だということはないがそれは提示する」ということは成り立つということはないなら最低ＬＶだ"が導かれる
9. 推論5と推論6から、推論7: "そのストリートは最低ＬＶだ"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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