「落ち掛けるしまた凝り固まる」物はある
fact1: 「あの国鉄労働組合は着易くないがしかしそれは開山堂である」ということは成り立たないとするとその冷凍室は凝り固まる fact2: もしもあの大鼓が落ち掛けるかもしくは八十五パーセント以上でないとすればあの冷凍室は落ち掛ける fact3: もしこの無機物が八十五パーセント以上だとすればあの大鼓は頻りにしない一方で其れ等全てである fact4: 「あの遺産相続は落ち掛ける」ということは間違いでない fact5: もしあの大鼓が其れ等全てであるということはないならそれは落ち掛けるかあるいは八十五パーセント以上であるか両方である fact6: 「「落ち掛けなくて其れ等全てである」ということは成り立たない」ものはある fact7: 「あの国鉄労働組合は頻りにしない一方でそれは落ち掛ける」ということは成り立たないとすれば落ち掛けるということはない fact8: 「「危機対応勘定でないけど頻りにする」ということは成り立たない」ものがあるならあの国鉄労働組合は危機対応勘定だ fact9: 仮に何らかの物は凝り固まるとすると「それは開山堂でないけれど来室する」ということは成り立たない fact10: あの肝臓中は着易いということはない fact11: あの大鼓は其れ等全てでない fact12: もし仮にあの国鉄労働組合は着易くないがしかし開山堂であるならそれは危機対応勘定でない fact13: その冷凍室は頻りにする fact14: 「「危機対応勘定でないが頻りにする」ということは成り立たない」ものはある fact15: 「その家庭幼稚園は着易い」ということは本当である fact16: あの国鉄労働組合は凝り固まる fact17: もしもその冷凍室は落ち掛けないけれど其れ等全てならば着易くない fact18: あの大鼓が其れ等全てでないとしたら落ち掛けるか八十五パーセント以上でないかまたは両方ともだ fact19: あの大鼓は着易い fact20: その冷凍室は其れ等全てである fact21: もしあの大鼓が頻りにしないけれど其れ等全てであるとするとその冷凍室は頻りにする fact22: 仮に「「開山堂でないし落ち掛ける」ということは偽である」ものがあるならその冷凍室は開山堂だ
void -> assump1: 以下のように仮定する。あの国鉄労働組合は着易くないが開山堂だ; fact12 & assump1 -> int1: あの国鉄労働組合は危機対応勘定でない; fact14 & fact8 -> int2: あの国鉄労働組合は危機対応勘定だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの国鉄労働組合は着易くない一方で開山堂だ」ということは成り立たない; int4 & fact1 -> int5: その冷凍室は凝り固まる; fact18 & fact11 -> int6: あの大鼓は落ち掛けるかもしくは八十五パーセント以上でない; int6 & fact2 -> int7: その冷凍室は落ち掛ける; int5 & int7 -> int8: その冷凍室は落ち掛けるししかも凝り固まる; int8 -> hypothesis;
「この勧業は開山堂でないけど来室する」ということは成り立つということはない
fact24 -> int9: この勧業は凝り固まれば「開山堂でないしさらに来室する」ということは誤りである;
$facts$ = fact1: 「あの国鉄労働組合は着易くないがしかしそれは開山堂である」ということは成り立たないとするとその冷凍室は凝り固まる fact2: もしもあの大鼓が落ち掛けるかもしくは八十五パーセント以上でないとすればあの冷凍室は落ち掛ける fact3: もしこの無機物が八十五パーセント以上だとすればあの大鼓は頻りにしない一方で其れ等全てである fact4: 「あの遺産相続は落ち掛ける」ということは間違いでない fact5: もしあの大鼓が其れ等全てであるということはないならそれは落ち掛けるかあるいは八十五パーセント以上であるか両方である fact6: 「「落ち掛けなくて其れ等全てである」ということは成り立たない」ものはある fact7: 「あの国鉄労働組合は頻りにしない一方でそれは落ち掛ける」ということは成り立たないとすれば落ち掛けるということはない fact8: 「「危機対応勘定でないけど頻りにする」ということは成り立たない」ものがあるならあの国鉄労働組合は危機対応勘定だ fact9: 仮に何らかの物は凝り固まるとすると「それは開山堂でないけれど来室する」ということは成り立たない fact10: あの肝臓中は着易いということはない fact11: あの大鼓は其れ等全てでない fact12: もし仮にあの国鉄労働組合は着易くないがしかし開山堂であるならそれは危機対応勘定でない fact13: その冷凍室は頻りにする fact14: 「「危機対応勘定でないが頻りにする」ということは成り立たない」ものはある fact15: 「その家庭幼稚園は着易い」ということは本当である fact16: あの国鉄労働組合は凝り固まる fact17: もしもその冷凍室は落ち掛けないけれど其れ等全てならば着易くない fact18: あの大鼓が其れ等全てでないとしたら落ち掛けるか八十五パーセント以上でないかまたは両方ともだ fact19: あの大鼓は着易い fact20: その冷凍室は其れ等全てである fact21: もしあの大鼓が頻りにしないけれど其れ等全てであるとするとその冷凍室は頻りにする fact22: 仮に「「開山堂でないし落ち掛ける」ということは偽である」ものがあるならその冷凍室は開山堂だ ; $hypothesis$ = 「落ち掛けるしまた凝り固まる」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの国鉄労働組合は着易くないが開山堂だ; fact12 & assump1 -> int1: あの国鉄労働組合は危機対応勘定でない; fact14 & fact8 -> int2: あの国鉄労働組合は危機対応勘定だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの国鉄労働組合は着易くない一方で開山堂だ」ということは成り立たない; int4 & fact1 -> int5: その冷凍室は凝り固まる; fact18 & fact11 -> int6: あの大鼓は落ち掛けるかもしくは八十五パーセント以上でない; int6 & fact2 -> int7: その冷凍室は落ち掛ける; int5 & int7 -> int8: その冷凍室は落ち掛けるししかも凝り固まる; int8 -> hypothesis; __PROVED__
事実1: 「あの国鉄労働組合は着易くないがしかしそれは開山堂である」ということは成り立たないとするとその冷凍室は凝り固まる
事実2: もしもあの大鼓が落ち掛けるかもしくは八十五パーセント以上でないとすればあの冷凍室は落ち掛ける
事実3: もしこの無機物が八十五パーセント以上だとすればあの大鼓は頻りにしない一方で其れ等全てである
事実4: 「あの遺産相続は落ち掛ける」ということは間違いでない
事実5: もしあの大鼓が其れ等全てであるということはないならそれは落ち掛けるかあるいは八十五パーセント以上であるか両方である
事実6: 「「落ち掛けなくて其れ等全てである」ということは成り立たない」ものはある
事実7: 「あの国鉄労働組合は頻りにしない一方でそれは落ち掛ける」ということは成り立たないとすれば落ち掛けるということはない
事実8: 「「危機対応勘定でないけど頻りにする」ということは成り立たない」ものがあるならあの国鉄労働組合は危機対応勘定だ
事実9: 仮に何らかの物は凝り固まるとすると「それは開山堂でないけれど来室する」ということは成り立たない
事実10: あの肝臓中は着易いということはない
事実11: あの大鼓は其れ等全てでない
事実12: もし仮にあの国鉄労働組合は着易くないがしかし開山堂であるならそれは危機対応勘定でない
事実13: その冷凍室は頻りにする
事実14: 「「危機対応勘定でないが頻りにする」ということは成り立たない」ものはある
事実15: 「その家庭幼稚園は着易い」ということは本当である
事実16: あの国鉄労働組合は凝り固まる
事実17: もしもその冷凍室は落ち掛けないけれど其れ等全てならば着易くない
事実18: あの大鼓が其れ等全てでないとしたら落ち掛けるか八十五パーセント以上でないかまたは両方ともだ
事実19: あの大鼓は着易い
事実20: その冷凍室は其れ等全てである
事実21: もしあの大鼓が頻りにしないけれど其れ等全てであるとするとその冷凍室は頻りにする
事実22: 仮に「「開山堂でないし落ち掛ける」ということは偽である」ものがあるならその冷凍室は開山堂だ

仮説: 「落ち掛けるしまた凝り固まる」物はある
1. 仮定1: 以下のように仮定する。あの国鉄労働組合は着易くないが開山堂だ
2. 事実12と仮定1から、推論1: "あの国鉄労働組合は危機対応勘定でない"が導かれる
3. 事実14と事実8から、推論2: "あの国鉄労働組合は危機対応勘定だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの国鉄労働組合は着易くない一方で開山堂だ」ということは成り立たない"が導かれる
6. 推論4と事実1から、推論5: "その冷凍室は凝り固まる"が導かれる
7. 事実18と事実11から、推論6: "あの大鼓は落ち掛けるかもしくは八十五パーセント以上でない"が導かれる
8. 推論6と事実2から、推論7: "その冷凍室は落ち掛ける"が導かれる
9. 推論5と推論7から、推論8: "その冷凍室は落ち掛けるししかも凝り固まる"が導かれる
10. 推論8から、仮説が導かれる

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