この年版は遊ばす
fact1: 「その多数党はかっかするし疑問文グループだ」ということは成り立たない fact2: 「この持分は万全でなくてその上仄白くない」ということは成り立たない fact3: もしその多数党がかっかしないとしたらこの持分は忍び泣くし働き易い fact4: もしもこの持分が仄白いならこの年版は遊ばす fact5: もしも「この年版は遊ばさないし加えてそれは万全でない」ということは成り立たないとすればあの持分は仄白い fact6: 何らかのものが忍び泣くとすればそれは羨ましい fact7: もし「この持分は万全でないしかつ仄白くない」ということは成り立たないとすればこの年版は遊ばす fact8: 多様体は遊ばすということはないかまたは具体化しないかどちらもである fact9: もし「なにがしかのものはかっかするし疑問文グループである」ということは成り立つということはないとすればかっかしない fact10: 「この持分は遊ばさないし加えて仄白くない」ということは偽である fact11: もしも「この年版は仄白くないしその上万全でない」ということは事実と異なるとしたらこの持分は遊ばす fact12: 「この持分は万全でないがしかし仄白い」ということは誤りである fact13: もし仮に「この持分は遊ばさないし更に万全でない」ということは間違いならば「この年版は仄白い」ということは成り立つ fact14: 羨ましいものは多様体だ fact15: この持分は遊ばす
fact7 & fact2 -> hypothesis;
この年版は遊ばさない
fact20 -> int1: もしもこの持分が多様体であるとするとそれは遊ばしないかあるいは具体化するということはないかもしくはどちらもである; fact19 -> int2: 仮にこの持分が羨ましいなら多様体である; fact21 -> int3: 仮にこの持分が忍び泣くとすれば羨ましい; fact17 -> int4: もしも「その多数党はかっかするしまた疑問文グループである」ということは成り立たないとすればそれはかっかしない; int4 & fact18 -> int5: その多数党はかっかしない; fact16 & int5 -> int6: この持分は忍び泣くし働き易い; int6 -> int7: この持分は忍び泣く; int3 & int7 -> int8: この持分は羨ましい; int2 & int8 -> int9: この持分は多様体である; int1 & int9 -> int10: この持分は遊ばしないか具体化しないかもしくは両方だ;
$facts$ = fact1: 「その多数党はかっかするし疑問文グループだ」ということは成り立たない fact2: 「この持分は万全でなくてその上仄白くない」ということは成り立たない fact3: もしその多数党がかっかしないとしたらこの持分は忍び泣くし働き易い fact4: もしもこの持分が仄白いならこの年版は遊ばす fact5: もしも「この年版は遊ばさないし加えてそれは万全でない」ということは成り立たないとすればあの持分は仄白い fact6: 何らかのものが忍び泣くとすればそれは羨ましい fact7: もし「この持分は万全でないしかつ仄白くない」ということは成り立たないとすればこの年版は遊ばす fact8: 多様体は遊ばすということはないかまたは具体化しないかどちらもである fact9: もし「なにがしかのものはかっかするし疑問文グループである」ということは成り立つということはないとすればかっかしない fact10: 「この持分は遊ばさないし加えて仄白くない」ということは偽である fact11: もしも「この年版は仄白くないしその上万全でない」ということは事実と異なるとしたらこの持分は遊ばす fact12: 「この持分は万全でないがしかし仄白い」ということは誤りである fact13: もし仮に「この持分は遊ばさないし更に万全でない」ということは間違いならば「この年版は仄白い」ということは成り立つ fact14: 羨ましいものは多様体だ fact15: この持分は遊ばす ; $hypothesis$ = この年版は遊ばす ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: 「その多数党はかっかするし疑問文グループだ」ということは成り立たない
事実2: 「この持分は万全でなくてその上仄白くない」ということは成り立たない
事実3: もしその多数党がかっかしないとしたらこの持分は忍び泣くし働き易い
事実4: もしもこの持分が仄白いならこの年版は遊ばす
事実5: もしも「この年版は遊ばさないし加えてそれは万全でない」ということは成り立たないとすればあの持分は仄白い
事実6: 何らかのものが忍び泣くとすればそれは羨ましい
事実7: もし「この持分は万全でないしかつ仄白くない」ということは成り立たないとすればこの年版は遊ばす
事実8: 多様体は遊ばすということはないかまたは具体化しないかどちらもである
事実9: もし「なにがしかのものはかっかするし疑問文グループである」ということは成り立つということはないとすればかっかしない
事実10: 「この持分は遊ばさないし加えて仄白くない」ということは偽である
事実11: もしも「この年版は仄白くないしその上万全でない」ということは事実と異なるとしたらこの持分は遊ばす
事実12: 「この持分は万全でないがしかし仄白い」ということは誤りである
事実13: もし仮に「この持分は遊ばさないし更に万全でない」ということは間違いならば「この年版は仄白い」ということは成り立つ
事実14: 羨ましいものは多様体だ
事実15: この持分は遊ばす

仮説: この年版は遊ばす
1. 事実7と事実2から、仮説が導かれる

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