あの親企業は信じ難くない
fact1: もしもこの平均人が膀胱癌でないならば信じ難いかもしくはそれは先決でないかまたはどちらもだ fact2: この平均人は発憤する fact3: 仮にこの平均人が発憤するしまたそれが自然保護地域だとしたらその寄与分はフラスコ内壁でない fact4: 仮に限定発売が眠たくないとすると年寄り並みだ fact5: この平均人は膀胱癌でない fact6: もしあの菜っ葉がフラスコ内壁ならその寄与分は発憤しない fact7: この平均人は自然保護地域だ fact8: もしも「そのマイナス・イメージは六十前後だがしかし年寄り並みでない」ということは間違いだとすればあの草刈り掃部は六十前後でない fact9: その公園整備は危なっかしい fact10: この代表的日本人は発憤する fact11: もしも「その能率化は試合数だ」ということは本当であるとすれば「その河竹は試合数だ」ということは真実である fact12: ある物はフラスコ内壁でないとしたらそれは発憤しないし自然保護地域でない fact13: 血腥くない物は限定発売であるがしかし眠たくない fact14: もし仮に何かは発憤しないならば「「歌舞伎っぽくないしそれは行い易いない」ということは真実である」ということは事実でない fact15: もし「フラスコ内壁でない」ものはあれば「あの親企業は試合数でなくてその上先決でない」ということは間違いだ fact16: もしもその公園整備が危なっかしいとしたらその怖さは飽かなくてそれにフォローアップしない fact17: もし仮にあの草刈り掃部が六十前後でないとすれば膀胱癌であるし更に試合数である fact18: 仮に「年寄り並みはある」ということは成り立つなら「そのマイナス・イメージは六十前後であるがしかし年寄り並みだということはない」ということは成り立たない fact19: もし何らかのものは信じ難いか先決でないかもしくは両方であるとすれば先決でない fact20: もし仮にあの草刈り掃部が試合数だとすればあの能率化は試合数だ fact21: もし仮にその河竹は試合数であるとすると「この三日前はフラスコ内壁でないがしかし先決である」ということは成り立たない fact22: 「「フラスコ内壁でないしまた先決である」ということは事実と異なる」ものはあるとすると「あの菜っ葉はフラスコ内壁だ」ということは真実だ fact23: もしもその怖さは飽かないしその上フォローアップしないとしたらそれは血腥いということはない fact24: もしその寄与分は発憤しないとすると「この平均人は自然保護地域だが信じ難くない」ということは成り立つということはない fact25: もし「何かは試合数でなくて更にそれは先決でない」ということは成り立たないとすれば信じ難くない
fact2 & fact7 -> int1: この平均人は発憤するし更に自然保護地域だ; int1 & fact3 -> int2: 「その寄与分はフラスコ内壁だということはない」ということは間違っていない; int2 -> int3: 「フラスコ内壁であるということはない」ものはある; int3 & fact15 -> int4: 「あの親企業は試合数でないしかつ先決でない」ということは成り立たない; fact25 -> int5: もし仮に「あの親企業は試合数でなくておまけに先決でない」ということは誤りならばそれは信じ難くない; int4 & int5 -> hypothesis;
あの親企業は信じ難い
fact27 -> int6: もしもその怖さは限定発売だけれど眠たくないとするとそれは年寄り並みだ; fact32 -> int7: 仮にその怖さが血腥くないとすれば限定発売だが眠たくない; fact35 & fact36 -> int8: その怖さは飽くということはないしその上フォローアップするということはない; fact38 & int8 -> int9: その怖さは血腥くない; int7 & int9 -> int10: その怖さは限定発売だが眠たくない; int6 & int10 -> int11: その怖さは年寄り並みである; int11 -> int12: 「年寄り並みな」物はある; int12 & fact29 -> int13: 「そのマイナス・イメージは六十前後であるけれど年寄り並みでない」ということは事実と異なる; fact30 & int13 -> int14: あの草刈り掃部は六十前後でない; fact39 & int14 -> int15: あの草刈り掃部は膀胱癌であるし試合数である; int15 -> int16: 「あの草刈り掃部は試合数である」ということは確かだ; fact37 & int16 -> int17: その能率化は試合数だ; fact34 & int17 -> int18: その河竹は試合数だ; fact31 & int18 -> int19: 「この三日前はフラスコ内壁でないけどそれは先決である」ということは間違いである; int19 -> int20: 「「フラスコ内壁でなくて先決だ」ということは事実と異なる」ものはある; int20 & fact28 -> int21: 「あの菜っ葉はフラスコ内壁である」ということは事実と異ならない; fact26 & int21 -> int22: その寄与分は発憤しない; fact33 & int22 -> int23: 「この平均人は自然保護地域であるがしかし信じ難くない」ということは成り立たない; int23 -> int24: 「「自然保護地域だし信じ難くない」ということは偽である」ものはある;
$facts$ = fact1: もしもこの平均人が膀胱癌でないならば信じ難いかもしくはそれは先決でないかまたはどちらもだ fact2: この平均人は発憤する fact3: 仮にこの平均人が発憤するしまたそれが自然保護地域だとしたらその寄与分はフラスコ内壁でない fact4: 仮に限定発売が眠たくないとすると年寄り並みだ fact5: この平均人は膀胱癌でない fact6: もしあの菜っ葉がフラスコ内壁ならその寄与分は発憤しない fact7: この平均人は自然保護地域だ fact8: もしも「そのマイナス・イメージは六十前後だがしかし年寄り並みでない」ということは間違いだとすればあの草刈り掃部は六十前後でない fact9: その公園整備は危なっかしい fact10: この代表的日本人は発憤する fact11: もしも「その能率化は試合数だ」ということは本当であるとすれば「その河竹は試合数だ」ということは真実である fact12: ある物はフラスコ内壁でないとしたらそれは発憤しないし自然保護地域でない fact13: 血腥くない物は限定発売であるがしかし眠たくない fact14: もし仮に何かは発憤しないならば「「歌舞伎っぽくないしそれは行い易いない」ということは真実である」ということは事実でない fact15: もし「フラスコ内壁でない」ものはあれば「あの親企業は試合数でなくてその上先決でない」ということは間違いだ fact16: もしもその公園整備が危なっかしいとしたらその怖さは飽かなくてそれにフォローアップしない fact17: もし仮にあの草刈り掃部が六十前後でないとすれば膀胱癌であるし更に試合数である fact18: 仮に「年寄り並みはある」ということは成り立つなら「そのマイナス・イメージは六十前後であるがしかし年寄り並みだということはない」ということは成り立たない fact19: もし何らかのものは信じ難いか先決でないかもしくは両方であるとすれば先決でない fact20: もし仮にあの草刈り掃部が試合数だとすればあの能率化は試合数だ fact21: もし仮にその河竹は試合数であるとすると「この三日前はフラスコ内壁でないがしかし先決である」ということは成り立たない fact22: 「「フラスコ内壁でないしまた先決である」ということは事実と異なる」ものはあるとすると「あの菜っ葉はフラスコ内壁だ」ということは真実だ fact23: もしもその怖さは飽かないしその上フォローアップしないとしたらそれは血腥いということはない fact24: もしその寄与分は発憤しないとすると「この平均人は自然保護地域だが信じ難くない」ということは成り立つということはない fact25: もし「何かは試合数でなくて更にそれは先決でない」ということは成り立たないとすれば信じ難くない ; $hypothesis$ = あの親企業は信じ難くない ; $proof$ = 
fact2 & fact7 -> int1: この平均人は発憤するし更に自然保護地域だ; int1 & fact3 -> int2: 「その寄与分はフラスコ内壁だということはない」ということは間違っていない; int2 -> int3: 「フラスコ内壁であるということはない」ものはある; int3 & fact15 -> int4: 「あの親企業は試合数でないしかつ先決でない」ということは成り立たない; fact25 -> int5: もし仮に「あの親企業は試合数でなくておまけに先決でない」ということは誤りならばそれは信じ難くない; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもこの平均人が膀胱癌でないならば信じ難いかもしくはそれは先決でないかまたはどちらもだ
事実2: この平均人は発憤する
事実3: 仮にこの平均人が発憤するしまたそれが自然保護地域だとしたらその寄与分はフラスコ内壁でない
事実4: 仮に限定発売が眠たくないとすると年寄り並みだ
事実5: この平均人は膀胱癌でない
事実6: もしあの菜っ葉がフラスコ内壁ならその寄与分は発憤しない
事実7: この平均人は自然保護地域だ
事実8: もしも「そのマイナス・イメージは六十前後だがしかし年寄り並みでない」ということは間違いだとすればあの草刈り掃部は六十前後でない
事実9: その公園整備は危なっかしい
事実10: この代表的日本人は発憤する
事実11: もしも「その能率化は試合数だ」ということは本当であるとすれば「その河竹は試合数だ」ということは真実である
事実12: ある物はフラスコ内壁でないとしたらそれは発憤しないし自然保護地域でない
事実13: 血腥くない物は限定発売であるがしかし眠たくない
事実14: もし仮に何かは発憤しないならば「「歌舞伎っぽくないしそれは行い易いない」ということは真実である」ということは事実でない
事実15: もし「フラスコ内壁でない」ものはあれば「あの親企業は試合数でなくてその上先決でない」ということは間違いだ
事実16: もしもその公園整備が危なっかしいとしたらその怖さは飽かなくてそれにフォローアップしない
事実17: もし仮にあの草刈り掃部が六十前後でないとすれば膀胱癌であるし更に試合数である
事実18: 仮に「年寄り並みはある」ということは成り立つなら「そのマイナス・イメージは六十前後であるがしかし年寄り並みだということはない」ということは成り立たない
事実19: もし何らかのものは信じ難いか先決でないかもしくは両方であるとすれば先決でない
事実20: もし仮にあの草刈り掃部が試合数だとすればあの能率化は試合数だ
事実21: もし仮にその河竹は試合数であるとすると「この三日前はフラスコ内壁でないがしかし先決である」ということは成り立たない
事実22: 「「フラスコ内壁でないしまた先決である」ということは事実と異なる」ものはあるとすると「あの菜っ葉はフラスコ内壁だ」ということは真実だ
事実23: もしもその怖さは飽かないしその上フォローアップしないとしたらそれは血腥いということはない
事実24: もしその寄与分は発憤しないとすると「この平均人は自然保護地域だが信じ難くない」ということは成り立つということはない
事実25: もし「何かは試合数でなくて更にそれは先決でない」ということは成り立たないとすれば信じ難くない

仮説: あの親企業は信じ難くない
1. 事実2と事実7から、推論1: "この平均人は発憤するし更に自然保護地域だ"が導かれる
2. 推論1と事実3から、推論2: "「その寄与分はフラスコ内壁だということはない」ということは間違っていない"が導かれる
3. 推論2から、推論3: "「フラスコ内壁であるということはない」ものはある"が導かれる
4. 推論3と事実15から、推論4: "「あの親企業は試合数でないしかつ先決でない」ということは成り立たない"が導かれる
5. 事実25から、推論5: "もし仮に「あの親企業は試合数でなくておまけに先決でない」ということは誤りならばそれは信じ難くない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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