「その三陰交は作品数でない」ということは嘘でない
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: 以下のように仮定する。その三陰交は作品数である; fact18 & assump1 -> int1: この配偶体はチャンピオンズリーグである; int1 & fact9 -> int2: このプスセンネス一世はもぐ; int2 & fact21 -> int3: このプスセンネス一世はもぐしおまけに見送る; int3 & fact3 -> int4: あの十七日号は弛くない; fact7 -> int5: あの十七日号が弛いということはないとしたら立ち行く; int4 & int5 -> int6: あの十七日号は立ち行く; fact5 & fact23 -> int7: あの十七日号は立ち行かない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その最近接発達領域はチャンピオンズリーグだ
fact25 -> int9: もしもその最近接発達領域は作品数であるならチャンピオンズリーグだ;
$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: 以下のように仮定する。その三陰交は作品数である; fact18 & assump1 -> int1: この配偶体はチャンピオンズリーグである; int1 & fact9 -> int2: このプスセンネス一世はもぐ; int2 & fact21 -> int3: このプスセンネス一世はもぐしおまけに見送る; int3 & fact3 -> int4: あの十七日号は弛くない; fact7 -> int5: あの十七日号が弛いということはないとしたら立ち行く; int4 & int5 -> int6: あの十七日号は立ち行く; fact5 & fact23 -> int7: あの十七日号は立ち行かない; int6 & int7 -> int8: これは矛盾である; [assump1] & 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: この配偶体が動転するけど弛くないとするとその三陰交は弛い
事実23: 「あの十七日号は動転しないか係属しないかもしくはどちらもである」ということは間違いである

仮説: 「その三陰交は作品数でない」ということは嘘でない
1. 仮定1: 以下のように仮定する。その三陰交は作品数である
2. 事実18と仮定1から、推論1: "この配偶体はチャンピオンズリーグである"が導かれる
3. 推論1と事実9から、推論2: "このプスセンネス一世はもぐ"が導かれる
4. 推論2と事実21から、推論3: "このプスセンネス一世はもぐしおまけに見送る"が導かれる
5. 推論3と事実3から、推論4: "あの十七日号は弛くない"が導かれる
6. 事実7から、推論5: "あの十七日号が弛いということはないとしたら立ち行く"が導かれる
7. 推論4と推論5から、推論6: "あの十七日号は立ち行く"が導かれる
8. 事実5と事実23から、推論7: "あの十七日号は立ち行かない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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