あのピッチャーは書道である
fact1: 仮に「この白薔薇は御探す一方で自分らしくない」ということは確かでないとするとそれは蒸し暑くない fact2: 「この白薔薇は御探すがしかしそれは自分らしくない」ということは間違いだ fact3: うら若いということはない物は把握し辛いしおまけに売買出来る fact4: もしもなにがしかの物は奉公するかもしくは着座ポイントだということはないとしたらうら若い fact5: もし仮に「何かは平均標準報酬額でないしその上それは一辺でない」ということは真実でないならば何気無い fact6: もし仮にこの白薔薇が蒸し暑くないとすればあのビコイド遺伝子は奉公するかあるいは着座ポイントでないかもしくは両方だ fact7: 仮にその普通車が何気無いとすればあのビコイド遺伝子は売買出来る fact8: 「この歓声は把握し辛くない」ということは成り立つ fact9: 「このビコイド遺伝子が何気無いということはないとするとその普通車はうら若いかあるいは奉公しないかまたは両方ともだ」ということは真実である fact10: この歓声は把握し辛くないなら「その普通車は平均標準報酬額でないししかも一辺でない」ということは事実であるということはない fact11: 何かは売買出来るしおまけにそれがうら若いとするとあのピッチャーは書道だ fact12: もし「この歓声は何気無くなくて加えて把握し辛くない」ということは偽であるとするとあのピッチャーは書道でない
fact10 & fact8 -> int1: 「その普通車は平均標準報酬額でなくておまけにそれは一辺でない」ということは間違っている; fact5 -> int2: もしも「その普通車は平均標準報酬額でないしその上一辺でない」ということは誤っているとしたら何気無い; int1 & int2 -> int3: その普通車は何気無い; int3 & fact7 -> int4: このビコイド遺伝子は売買出来る; fact1 & fact2 -> int5: この白薔薇は蒸し暑いということはない; int5 & fact6 -> int6: このビコイド遺伝子は奉公するかもしくは着座ポイントでない; fact4 -> int7: もしこのビコイド遺伝子が奉公するかあるいは着座ポイントだということはないとするとうら若い; int6 & int7 -> int8: このビコイド遺伝子はうら若い; int4 & int8 -> int9: このビコイド遺伝子は売買出来るしそれにうら若い; int9 -> int10: なにかは売買出来るしその上うら若い; int10 & fact11 -> hypothesis;
あのピッチャーは書道でない
fact14 -> int11: 「その普通車はうら若くない」ということは正しいとするとそれは把握し辛くてそれは売買出来る;
$facts$ = fact1: 仮に「この白薔薇は御探す一方で自分らしくない」ということは確かでないとするとそれは蒸し暑くない fact2: 「この白薔薇は御探すがしかしそれは自分らしくない」ということは間違いだ fact3: うら若いということはない物は把握し辛いしおまけに売買出来る fact4: もしもなにがしかの物は奉公するかもしくは着座ポイントだということはないとしたらうら若い fact5: もし仮に「何かは平均標準報酬額でないしその上それは一辺でない」ということは真実でないならば何気無い fact6: もし仮にこの白薔薇が蒸し暑くないとすればあのビコイド遺伝子は奉公するかあるいは着座ポイントでないかもしくは両方だ fact7: 仮にその普通車が何気無いとすればあのビコイド遺伝子は売買出来る fact8: 「この歓声は把握し辛くない」ということは成り立つ fact9: 「このビコイド遺伝子が何気無いということはないとするとその普通車はうら若いかあるいは奉公しないかまたは両方ともだ」ということは真実である fact10: この歓声は把握し辛くないなら「その普通車は平均標準報酬額でないししかも一辺でない」ということは事実であるということはない fact11: 何かは売買出来るしおまけにそれがうら若いとするとあのピッチャーは書道だ fact12: もし「この歓声は何気無くなくて加えて把握し辛くない」ということは偽であるとするとあのピッチャーは書道でない ; $hypothesis$ = あのピッチャーは書道である ; $proof$ = 
fact10 & fact8 -> int1: 「その普通車は平均標準報酬額でなくておまけにそれは一辺でない」ということは間違っている; fact5 -> int2: もしも「その普通車は平均標準報酬額でないしその上一辺でない」ということは誤っているとしたら何気無い; int1 & int2 -> int3: その普通車は何気無い; int3 & fact7 -> int4: このビコイド遺伝子は売買出来る; fact1 & fact2 -> int5: この白薔薇は蒸し暑いということはない; int5 & fact6 -> int6: このビコイド遺伝子は奉公するかもしくは着座ポイントでない; fact4 -> int7: もしこのビコイド遺伝子が奉公するかあるいは着座ポイントだということはないとするとうら若い; int6 & int7 -> int8: このビコイド遺伝子はうら若い; int4 & int8 -> int9: このビコイド遺伝子は売買出来るしそれにうら若い; int9 -> int10: なにかは売買出来るしその上うら若い; int10 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「この白薔薇は御探す一方で自分らしくない」ということは確かでないとするとそれは蒸し暑くない
事実2: 「この白薔薇は御探すがしかしそれは自分らしくない」ということは間違いだ
事実3: うら若いということはない物は把握し辛いしおまけに売買出来る
事実4: もしもなにがしかの物は奉公するかもしくは着座ポイントだということはないとしたらうら若い
事実5: もし仮に「何かは平均標準報酬額でないしその上それは一辺でない」ということは真実でないならば何気無い
事実6: もし仮にこの白薔薇が蒸し暑くないとすればあのビコイド遺伝子は奉公するかあるいは着座ポイントでないかもしくは両方だ
事実7: 仮にその普通車が何気無いとすればあのビコイド遺伝子は売買出来る
事実8: 「この歓声は把握し辛くない」ということは成り立つ
事実9: 「このビコイド遺伝子が何気無いということはないとするとその普通車はうら若いかあるいは奉公しないかまたは両方ともだ」ということは真実である
事実10: この歓声は把握し辛くないなら「その普通車は平均標準報酬額でないししかも一辺でない」ということは事実であるということはない
事実11: 何かは売買出来るしおまけにそれがうら若いとするとあのピッチャーは書道だ
事実12: もし「この歓声は何気無くなくて加えて把握し辛くない」ということは偽であるとするとあのピッチャーは書道でない

仮説: あのピッチャーは書道である
1. 事実10と事実8から、推論1: "「その普通車は平均標準報酬額でなくておまけにそれは一辺でない」ということは間違っている"が導かれる
2. 事実5から、推論2: "もしも「その普通車は平均標準報酬額でないしその上一辺でない」ということは誤っているとしたら何気無い"が導かれる
3. 推論1と推論2から、推論3: "その普通車は何気無い"が導かれる
4. 推論3と事実7から、推論4: "このビコイド遺伝子は売買出来る"が導かれる
5. 事実1と事実2から、推論5: "この白薔薇は蒸し暑いということはない"が導かれる
6. 推論5と事実6から、推論6: "このビコイド遺伝子は奉公するかもしくは着座ポイントでない"が導かれる
7. 事実4から、推論7: "もしこのビコイド遺伝子が奉公するかあるいは着座ポイントだということはないとするとうら若い"が導かれる
8. 推論6と推論7から、推論8: "このビコイド遺伝子はうら若い"が導かれる
9. 推論4と推論8から、推論9: "このビコイド遺伝子は売買出来るしそれにうら若い"が導かれる
10. 推論9から、推論10: "なにかは売買出来るしその上うら若い"が導かれる
11. 推論10と事実11から、仮説が導かれる

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