「「延べでない一方でイートだ」ということは間違っている」物はある
fact1: あの偶成は蒸発分布でない fact2: 「「蒸発分布でないが延べである」ということは偽である」物はある fact3: その成長ホルモンは蒸発分布でない fact4: もしあの偶成は延べでないとすると「その成長ホルモンはイートでしかも蒸発分布だ」ということは確かだということはない fact5: 「その成長ホルモンは蒸発分布であるしその上延べだ」ということは間違いだ fact6: なんらかの物は蒸発分布でないがしかしイートである fact7: もし仮にあの偶成は蒸発分布でないならば「その成長ホルモンは延べでない一方でイートである」ということは誤りである fact8: 「「蒸発分布でないけれどイートである」ということは偽である」物はある fact9: 「その成長ホルモンは延べであるしおまけにそれはイートだ」ということは誤りだ fact10: もしあの偶成は蒸発分布でないとすると「その成長ホルモンは延べであるしイートである」ということは嘘だ fact11: 「あの偶成は蒸発分布だし延べである」ということは成り立たない fact12: 「その成長ホルモンは蒸発分布でないけど延べである」ということは本当でない fact13: 「その成長ホルモンは延べでないがしかし蒸発分布だ」ということは成り立たない fact14: 「急ぎ過ぎなくてかつ罵り続ける」ものはある fact15: 「あの偶成は床しかないが延べである」ということは偽である fact16: 「「惨めったらしいしまた諮る」ということは成り立たない」物はある
fact7 & fact1 -> int1: 「その成長ホルモンは延べでないがイートである」ということは事実でない; int1 -> hypothesis;
fact7 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
$facts$ = fact1: あの偶成は蒸発分布でない fact2: 「「蒸発分布でないが延べである」ということは偽である」物はある fact3: その成長ホルモンは蒸発分布でない fact4: もしあの偶成は延べでないとすると「その成長ホルモンはイートでしかも蒸発分布だ」ということは確かだということはない fact5: 「その成長ホルモンは蒸発分布であるしその上延べだ」ということは間違いだ fact6: なんらかの物は蒸発分布でないがしかしイートである fact7: もし仮にあの偶成は蒸発分布でないならば「その成長ホルモンは延べでない一方でイートである」ということは誤りである fact8: 「「蒸発分布でないけれどイートである」ということは偽である」物はある fact9: 「その成長ホルモンは延べであるしおまけにそれはイートだ」ということは誤りだ fact10: もしあの偶成は蒸発分布でないとすると「その成長ホルモンは延べであるしイートである」ということは嘘だ fact11: 「あの偶成は蒸発分布だし延べである」ということは成り立たない fact12: 「その成長ホルモンは蒸発分布でないけど延べである」ということは本当でない fact13: 「その成長ホルモンは延べでないがしかし蒸発分布だ」ということは成り立たない fact14: 「急ぎ過ぎなくてかつ罵り続ける」ものはある fact15: 「あの偶成は床しかないが延べである」ということは偽である fact16: 「「惨めったらしいしまた諮る」ということは成り立たない」物はある ; $hypothesis$ = 「「延べでない一方でイートだ」ということは間違っている」物はある ; $proof$ = 
fact7 & fact1 -> int1: 「その成長ホルモンは延べでないがイートである」ということは事実でない; int1 -> hypothesis; __PROVED__
事実1: あの偶成は蒸発分布でない
事実2: 「「蒸発分布でないが延べである」ということは偽である」物はある
事実3: その成長ホルモンは蒸発分布でない
事実4: もしあの偶成は延べでないとすると「その成長ホルモンはイートでしかも蒸発分布だ」ということは確かだということはない
事実5: 「その成長ホルモンは蒸発分布であるしその上延べだ」ということは間違いだ
事実6: なんらかの物は蒸発分布でないがしかしイートである
事実7: もし仮にあの偶成は蒸発分布でないならば「その成長ホルモンは延べでない一方でイートである」ということは誤りである
事実8: 「「蒸発分布でないけれどイートである」ということは偽である」物はある
事実9: 「その成長ホルモンは延べであるしおまけにそれはイートだ」ということは誤りだ
事実10: もしあの偶成は蒸発分布でないとすると「その成長ホルモンは延べであるしイートである」ということは嘘だ
事実11: 「あの偶成は蒸発分布だし延べである」ということは成り立たない
事実12: 「その成長ホルモンは蒸発分布でないけど延べである」ということは本当でない
事実13: 「その成長ホルモンは延べでないがしかし蒸発分布だ」ということは成り立たない
事実14: 「急ぎ過ぎなくてかつ罵り続ける」ものはある
事実15: 「あの偶成は床しかないが延べである」ということは偽である
事実16: 「「惨めったらしいしまた諮る」ということは成り立たない」物はある

仮説: 「「延べでない一方でイートだ」ということは間違っている」物はある
1. 事実7と事実1から、推論1: "「その成長ホルモンは延べでないがイートである」ということは事実でない"が導かれる
2. 推論1から、仮説が導かれる

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