その夢現は繁殖し易い
fact1: その年は繁殖し易い fact2: 「その夢現はぴりっとしないが出張る」ということは誤りならこの学士入学は繁殖し易い fact3: もし仮に「この学士入学は繁殖し易くないけれどぴりっとする」ということは間違いだとするとその夢現は出張る fact4: その夢現はぴりっとする fact5: その夢現は与え易い fact6: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たないとすればあの夢現はぴりっとする fact7: 「この訓練不足はぴりっとする」ということは成り立つ fact8: 「「この政治性はＷ指し値注文でないけど予熱である」ということは真実だ」ということは成り立たない fact9: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たない fact10: 「その夢現はぴりっとしないがしかしそれは繁殖し易い」ということは確かでない fact11: 「その夢現は出張らないけれどぴりっとする」ということは偽であるとするとこの学士入学は繁殖し易い fact12: 「この学士入学は繁殖し易くないけれどそれはぴりっとする」ということは誤りである fact13: もし仮にこの学士入学が出張らないとすればあの夢現は繁殖し易い fact14: もし「この学士入学はぴりっとしないけれど出張る」ということは偽だとすればあの夢現は繁殖し易い fact15: あのレーダー手は出張る fact16: 「「その夢現は出張るということはないけれど繁殖し易い」ということは成り立たない」ということは成り立つ fact17: 「その夢現は出張らないけれど戦国合戦だ」ということは誤りである fact18: あの補聴は繁殖し易い fact19: 「この学士入学はぴりっとしないけど出張る」ということは間違いである fact20: この学士入学は手広い fact21: 仮に「この学士入学は出張らないがしかし繁殖し易い」ということは嘘だとすればその夢現はぴりっとする fact22: 「この学士入学は出張らないがしかし繁殖し易い」ということは間違いだ
fact14 & fact19 -> hypothesis;
fact14 & fact19 -> hypothesis;
$facts$ = fact1: その年は繁殖し易い fact2: 「その夢現はぴりっとしないが出張る」ということは誤りならこの学士入学は繁殖し易い fact3: もし仮に「この学士入学は繁殖し易くないけれどぴりっとする」ということは間違いだとするとその夢現は出張る fact4: その夢現はぴりっとする fact5: その夢現は与え易い fact6: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たないとすればあの夢現はぴりっとする fact7: 「この訓練不足はぴりっとする」ということは成り立つ fact8: 「「この政治性はＷ指し値注文でないけど予熱である」ということは真実だ」ということは成り立たない fact9: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たない fact10: 「その夢現はぴりっとしないがしかしそれは繁殖し易い」ということは確かでない fact11: 「その夢現は出張らないけれどぴりっとする」ということは偽であるとするとこの学士入学は繁殖し易い fact12: 「この学士入学は繁殖し易くないけれどそれはぴりっとする」ということは誤りである fact13: もし仮にこの学士入学が出張らないとすればあの夢現は繁殖し易い fact14: もし「この学士入学はぴりっとしないけれど出張る」ということは偽だとすればあの夢現は繁殖し易い fact15: あのレーダー手は出張る fact16: 「「その夢現は出張るということはないけれど繁殖し易い」ということは成り立たない」ということは成り立つ fact17: 「その夢現は出張らないけれど戦国合戦だ」ということは誤りである fact18: あの補聴は繁殖し易い fact19: 「この学士入学はぴりっとしないけど出張る」ということは間違いである fact20: この学士入学は手広い fact21: 仮に「この学士入学は出張らないがしかし繁殖し易い」ということは嘘だとすればその夢現はぴりっとする fact22: 「この学士入学は出張らないがしかし繁殖し易い」ということは間違いだ ; $hypothesis$ = その夢現は繁殖し易い ; $proof$ = 
fact14 & fact19 -> hypothesis; __PROVED__
事実1: その年は繁殖し易い
事実2: 「その夢現はぴりっとしないが出張る」ということは誤りならこの学士入学は繁殖し易い
事実3: もし仮に「この学士入学は繁殖し易くないけれどぴりっとする」ということは間違いだとするとその夢現は出張る
事実4: その夢現はぴりっとする
事実5: その夢現は与え易い
事実6: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たないとすればあの夢現はぴりっとする
事実7: 「この訓練不足はぴりっとする」ということは成り立つ
事実8: 「「この政治性はＷ指し値注文でないけど予熱である」ということは真実だ」ということは成り立たない
事実9: 「この学士入学は繁殖し易くないけど出張る」ということは成り立たない
事実10: 「その夢現はぴりっとしないがしかしそれは繁殖し易い」ということは確かでない
事実11: 「その夢現は出張らないけれどぴりっとする」ということは偽であるとするとこの学士入学は繁殖し易い
事実12: 「この学士入学は繁殖し易くないけれどそれはぴりっとする」ということは誤りである
事実13: もし仮にこの学士入学が出張らないとすればあの夢現は繁殖し易い
事実14: もし「この学士入学はぴりっとしないけれど出張る」ということは偽だとすればあの夢現は繁殖し易い
事実15: あのレーダー手は出張る
事実16: 「「その夢現は出張るということはないけれど繁殖し易い」ということは成り立たない」ということは成り立つ
事実17: 「その夢現は出張らないけれど戦国合戦だ」ということは誤りである
事実18: あの補聴は繁殖し易い
事実19: 「この学士入学はぴりっとしないけど出張る」ということは間違いである
事実20: この学士入学は手広い
事実21: 仮に「この学士入学は出張らないがしかし繁殖し易い」ということは嘘だとすればその夢現はぴりっとする
事実22: 「この学士入学は出張らないがしかし繁殖し易い」ということは間違いだ

仮説: その夢現は繁殖し易い
1. 事実14と事実19から、仮説が導かれる

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