「あの学校予算は降り止むしそれは選定する」ということは成り立たない
fact1: もしもその淫水が皮肉っぽいとすればこの四十人は急上昇する fact2: この三役は意味深くない fact3: 仮に何らかの物が意味深くないとすれば皮肉っぽいしかつそれは急上昇する fact4: もしもなにがしかのものは御優しいということはないなら「それは物らしくないか大土地所有者でないかあるいは両方ともである」ということは誤りである fact5: あるものが皮肉っぽいとするとそれは選定する fact6: 「なにがしかの物は皮肉っぽくて印刷用紙である」ということは偽だとすれば使い難くない fact7: もしもこの三役が降り止むとすればあの学校予算は意味深い fact8: もしも「その淫水は情け深いがしかし降り止まない」ということは偽だとすればあの学校予算は降り止む fact9: もし仮にこの三役が急上昇するとすればあの淫水は急上昇しないかもしくはそれは皮肉っぽくない fact10: もしも「あの学校予算は意味深い」ということは間違いでないとしたらこの三役は意味深くないかあるいは使い難くない fact11: この四十人が急上昇するとしたらこの三役は急上昇するということはないかまたは情け深いということはない fact12: もしこの三役は使い難いということはないとすると「急上昇しないかまたは皮肉っぽくないかあるいは両方ともである」ということは成り立たない fact13: 情け深くないものは選定するし皮肉っぽい fact14: もしあの学校予算が意味深いとするとこの三役は意味深くないかあるいは選定しないかまたは両方だ fact15: もしも何らかの物は意味深くないとすると「急上昇しないかもしくは情け深くない」ということは誤っている fact16: もし仮にこの四十人は皮肉っぽくないとすれば「それは急上昇しないかあるいはそれは使い難くない」ということは成り立たない fact17: 「「印刷用紙であるしおまけに使い難くない」ということは事実と異なる」物はある fact18: もし仮に「あの学校予算は急上昇するしそれに印刷用紙である」ということは嘘であるとするとそれは皮肉っぽくない fact19: 仮にその淫水は降り止まないなら「それは選定するし更に皮肉っぽい」ということは偽だ fact20: もしもその淫水は皮肉っぽいということはないなら「あの学校予算は皮肉っぽいしまた印刷用紙である」ということは誤っている fact21: その淫水は降り止む fact22: もし仮になにがしかの物が継受するということはないとすればそれはぎこちない fact23: 「この四十人は落ち零れないか情け深くないか両方ともである」ということは成り立たない fact24: 仮になにかは使い難くないとしたら「「それは降り止むししかも選定する」ということは事実である」ということは誤っている fact25: 仮にとある物は農工商でないなら「咲き揃わないかあるいはそれはビデオメモリでない」ということは間違いだ fact26: この三役は降り止まない fact27: もしもこの三役が意味深くないとすればそれは急上昇する
void -> assump1: 以下のように仮定する。その淫水は皮肉っぽい; fact1 & assump1 -> int1: この四十人は急上昇する; int1 & fact11 -> int2: この三役は急上昇しないかまたはそれは情け深くないかまたはどちらもだ; fact15 -> int3: もしこの三役は意味深くないとすれば「急上昇しないかまたは情け深くないかもしくは両方ともだ」ということは偽である; int3 & fact2 -> int4: 「この三役は急上昇しないか情け深くないかどちらもである」ということは間違っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その淫水は皮肉っぽくない; int6 & fact20 -> int7: 「あの学校予算は皮肉っぽくて更に印刷用紙だ」ということは成り立たない; fact6 -> int8: 仮に「あの学校予算は皮肉っぽいし更に印刷用紙である」ということは成り立たないならばそれは使い難くない; int7 & int8 -> int9: あの学校予算は使い難いということはない; fact24 -> int10: もし仮にあの学校予算は使い難いということはないとすると「降り止むしそれは選定する」ということは誤っている; int9 & int10 -> hypothesis;
あの学校予算は降り止むしその上選定する
fact28 -> int11: あの学校予算が情け深くないとすればそれは選定するし皮肉っぽい;
$facts$ = fact1: もしもその淫水が皮肉っぽいとすればこの四十人は急上昇する fact2: この三役は意味深くない fact3: 仮に何らかの物が意味深くないとすれば皮肉っぽいしかつそれは急上昇する fact4: もしもなにがしかのものは御優しいということはないなら「それは物らしくないか大土地所有者でないかあるいは両方ともである」ということは誤りである fact5: あるものが皮肉っぽいとするとそれは選定する fact6: 「なにがしかの物は皮肉っぽくて印刷用紙である」ということは偽だとすれば使い難くない fact7: もしもこの三役が降り止むとすればあの学校予算は意味深い fact8: もしも「その淫水は情け深いがしかし降り止まない」ということは偽だとすればあの学校予算は降り止む fact9: もし仮にこの三役が急上昇するとすればあの淫水は急上昇しないかもしくはそれは皮肉っぽくない fact10: もしも「あの学校予算は意味深い」ということは間違いでないとしたらこの三役は意味深くないかあるいは使い難くない fact11: この四十人が急上昇するとしたらこの三役は急上昇するということはないかまたは情け深いということはない fact12: もしこの三役は使い難いということはないとすると「急上昇しないかまたは皮肉っぽくないかあるいは両方ともである」ということは成り立たない fact13: 情け深くないものは選定するし皮肉っぽい fact14: もしあの学校予算が意味深いとするとこの三役は意味深くないかあるいは選定しないかまたは両方だ fact15: もしも何らかの物は意味深くないとすると「急上昇しないかもしくは情け深くない」ということは誤っている fact16: もし仮にこの四十人は皮肉っぽくないとすれば「それは急上昇しないかあるいはそれは使い難くない」ということは成り立たない fact17: 「「印刷用紙であるしおまけに使い難くない」ということは事実と異なる」物はある fact18: もし仮に「あの学校予算は急上昇するしそれに印刷用紙である」ということは嘘であるとするとそれは皮肉っぽくない fact19: 仮にその淫水は降り止まないなら「それは選定するし更に皮肉っぽい」ということは偽だ fact20: もしもその淫水は皮肉っぽいということはないなら「あの学校予算は皮肉っぽいしまた印刷用紙である」ということは誤っている fact21: その淫水は降り止む fact22: もし仮になにがしかの物が継受するということはないとすればそれはぎこちない fact23: 「この四十人は落ち零れないか情け深くないか両方ともである」ということは成り立たない fact24: 仮になにかは使い難くないとしたら「「それは降り止むししかも選定する」ということは事実である」ということは誤っている fact25: 仮にとある物は農工商でないなら「咲き揃わないかあるいはそれはビデオメモリでない」ということは間違いだ fact26: この三役は降り止まない fact27: もしもこの三役が意味深くないとすればそれは急上昇する ; $hypothesis$ = 「あの学校予算は降り止むしそれは選定する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その淫水は皮肉っぽい; fact1 & assump1 -> int1: この四十人は急上昇する; int1 & fact11 -> int2: この三役は急上昇しないかまたはそれは情け深くないかまたはどちらもだ; fact15 -> int3: もしこの三役は意味深くないとすれば「急上昇しないかまたは情け深くないかもしくは両方ともだ」ということは偽である; int3 & fact2 -> int4: 「この三役は急上昇しないか情け深くないかどちらもである」ということは間違っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その淫水は皮肉っぽくない; int6 & fact20 -> int7: 「あの学校予算は皮肉っぽくて更に印刷用紙だ」ということは成り立たない; fact6 -> int8: 仮に「あの学校予算は皮肉っぽいし更に印刷用紙である」ということは成り立たないならばそれは使い難くない; int7 & int8 -> int9: あの学校予算は使い難いということはない; fact24 -> int10: もし仮にあの学校予算は使い難いということはないとすると「降り止むしそれは選定する」ということは誤っている; int9 & int10 -> 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: 「この四十人は落ち零れないか情け深くないか両方ともである」ということは成り立たない
事実24: 仮になにかは使い難くないとしたら「「それは降り止むししかも選定する」ということは事実である」ということは誤っている
事実25: 仮にとある物は農工商でないなら「咲き揃わないかあるいはそれはビデオメモリでない」ということは間違いだ
事実26: この三役は降り止まない
事実27: もしもこの三役が意味深くないとすればそれは急上昇する

仮説: 「あの学校予算は降り止むしそれは選定する」ということは成り立たない
1. 仮定1: 以下のように仮定する。その淫水は皮肉っぽい
2. 事実1と仮定1から、推論1: "この四十人は急上昇する"が導かれる
3. 推論1と事実11から、推論2: "この三役は急上昇しないかまたはそれは情け深くないかまたはどちらもだ"が導かれる
4. 事実15から、推論3: "もしこの三役は意味深くないとすれば「急上昇しないかまたは情け深くないかもしくは両方ともだ」ということは偽である"が導かれる
5. 推論3と事実2から、推論4: "「この三役は急上昇しないか情け深くないかどちらもである」ということは間違っている"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その淫水は皮肉っぽくない"が導かれる
8. 推論6と事実20から、推論7: "「あの学校予算は皮肉っぽくて更に印刷用紙だ」ということは成り立たない"が導かれる
9. 事実6から、推論8: "仮に「あの学校予算は皮肉っぽいし更に印刷用紙である」ということは成り立たないならばそれは使い難くない"が導かれる
10. 推論7と推論8から、推論9: "あの学校予算は使い難いということはない"が導かれる
11. 事実24から、推論10: "もし仮にあの学校予算は使い難いということはないとすると「降り止むしそれは選定する」ということは誤っている"が導かれる
12. 推論9と推論10から、仮説が導かれる

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