「この精神医学は分取する」ということは真実である
fact1: その大規模小売り店舗は百姓らしいか遮光しない fact2: もしも「百姓らしいかあるいは遮光しないかあるいは両方ともである」物はあるとすれば「この精神医学は分取する」ということは間違いでない fact3: もし仮にあるものが介在するとすればそれは遮光する fact4: もしもその核酸分子が遮光するしそれに百姓らしいとするとこの精神医学は分取しない fact5: その大規模小売り店舗は百姓らしいかそれは分取するかもしくは両方ともである fact6: 小暗い物は遮光する fact7: もしこの執筆中は鈍くないとしたら「減すかまたはそれは隣り合わせる」ということは成り立たない fact8: 「なんらかの物は百姓らしいかもしくは遮光するかあるいは両方だ」ということは正しい fact9: この執筆中は浮揚する fact10: もし仮にその医療訴訟は好漢でないならば「それはレース中であるしおまけにそれは止む無し」ということは成り立たない fact11: もしこの執筆中が浮揚すればそれは鈍くなくてそれに思い詰めない fact12: 仮に何らかの物が遮光しないとしたらこの精神医学は分取する fact13: 仮にその納付税額がちっこくないしその上好漢でないとすればその医療訴訟は好漢でない fact14: その納付税額はちっこくないしかつそれは好漢でない fact15: すべてのものは介在するかあるいはそれは小暗い fact16: もしも何らかの物が隣り合わせるということはないし更にレース中でないとすればそれは百姓らしい fact17: 「その三パーセント成長は百姓らしい」ということは真実であるとすればあの核酸分子は百姓らしい fact18: 仮に「この執筆中は減すかあるいは隣り合わせるか両方ともである」ということは成り立たないとすればその三パーセント成長は隣り合わせない
fact1 -> int1: 「百姓らしいかあるいは遮光するということはない」ものはある; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ({A}x v ¬{B}x); int1 & fact2 -> hypothesis;
この精神医学は分取するということはない
fact24 -> int2: その核酸分子は介在するかそれは小暗いかどちらもだ; fact21 -> int3: もし仮にその核酸分子が介在するとすれば遮光する; fact31 -> int4: 仮にその核酸分子が小暗いとするとそれは遮光する; int2 & int3 & int4 -> int5: その核酸分子は遮光する; fact28 -> int6: もし仮にその三パーセント成長が隣り合わせないしレース中でないとすればそれは百姓らしい; fact27 & fact22 -> int7: この執筆中は鈍くなくて思い詰めない; int7 -> int8: この執筆中は鈍くない; fact19 & int8 -> int9: 「この執筆中は減すかもしくは隣り合わせるか両方ともだ」ということは間違いである; fact29 & int9 -> int10: その三パーセント成長は隣り合わせない; fact20 & fact30 -> int11: 「その医療訴訟は好漢であるということはない」ということは真実だ; fact26 & int11 -> int12: 「その医療訴訟はレース中だしさらに止む無し」ということは偽である; int12 -> int13: 「「レース中であるしそれに止む無し」ということは本当でない」ものはある;
$facts$ = fact1: その大規模小売り店舗は百姓らしいか遮光しない fact2: もしも「百姓らしいかあるいは遮光しないかあるいは両方ともである」物はあるとすれば「この精神医学は分取する」ということは間違いでない fact3: もし仮にあるものが介在するとすればそれは遮光する fact4: もしもその核酸分子が遮光するしそれに百姓らしいとするとこの精神医学は分取しない fact5: その大規模小売り店舗は百姓らしいかそれは分取するかもしくは両方ともである fact6: 小暗い物は遮光する fact7: もしこの執筆中は鈍くないとしたら「減すかまたはそれは隣り合わせる」ということは成り立たない fact8: 「なんらかの物は百姓らしいかもしくは遮光するかあるいは両方だ」ということは正しい fact9: この執筆中は浮揚する fact10: もし仮にその医療訴訟は好漢でないならば「それはレース中であるしおまけにそれは止む無し」ということは成り立たない fact11: もしこの執筆中が浮揚すればそれは鈍くなくてそれに思い詰めない fact12: 仮に何らかの物が遮光しないとしたらこの精神医学は分取する fact13: 仮にその納付税額がちっこくないしその上好漢でないとすればその医療訴訟は好漢でない fact14: その納付税額はちっこくないしかつそれは好漢でない fact15: すべてのものは介在するかあるいはそれは小暗い fact16: もしも何らかの物が隣り合わせるということはないし更にレース中でないとすればそれは百姓らしい fact17: 「その三パーセント成長は百姓らしい」ということは真実であるとすればあの核酸分子は百姓らしい fact18: 仮に「この執筆中は減すかあるいは隣り合わせるか両方ともである」ということは成り立たないとすればその三パーセント成長は隣り合わせない ; $hypothesis$ = 「この精神医学は分取する」ということは真実である ; $proof$ = 
fact1 -> int1: 「百姓らしいかあるいは遮光するということはない」ものはある; int1 & fact2 -> hypothesis; __PROVED__
事実1: その大規模小売り店舗は百姓らしいか遮光しない
事実2: もしも「百姓らしいかあるいは遮光しないかあるいは両方ともである」物はあるとすれば「この精神医学は分取する」ということは間違いでない
事実3: もし仮にあるものが介在するとすればそれは遮光する
事実4: もしもその核酸分子が遮光するしそれに百姓らしいとするとこの精神医学は分取しない
事実5: その大規模小売り店舗は百姓らしいかそれは分取するかもしくは両方ともである
事実6: 小暗い物は遮光する
事実7: もしこの執筆中は鈍くないとしたら「減すかまたはそれは隣り合わせる」ということは成り立たない
事実8: 「なんらかの物は百姓らしいかもしくは遮光するかあるいは両方だ」ということは正しい
事実9: この執筆中は浮揚する
事実10: もし仮にその医療訴訟は好漢でないならば「それはレース中であるしおまけにそれは止む無し」ということは成り立たない
事実11: もしこの執筆中が浮揚すればそれは鈍くなくてそれに思い詰めない
事実12: 仮に何らかの物が遮光しないとしたらこの精神医学は分取する
事実13: 仮にその納付税額がちっこくないしその上好漢でないとすればその医療訴訟は好漢でない
事実14: その納付税額はちっこくないしかつそれは好漢でない
事実15: すべてのものは介在するかあるいはそれは小暗い
事実16: もしも何らかの物が隣り合わせるということはないし更にレース中でないとすればそれは百姓らしい
事実17: 「その三パーセント成長は百姓らしい」ということは真実であるとすればあの核酸分子は百姓らしい
事実18: 仮に「この執筆中は減すかあるいは隣り合わせるか両方ともである」ということは成り立たないとすればその三パーセント成長は隣り合わせない

仮説: 「この精神医学は分取する」ということは真実である
1. 事実1から、推論1: "「百姓らしいかあるいは遮光するということはない」ものはある"が導かれる
2. 推論1と事実2から、仮説が導かれる

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