「あの後進国はあどけない」ということは確かである
fact1: 「来演するし加えてあどけない」ものはある fact2: この鑑賞者は選択し易い fact3: そのミルクジェラートがキリスト教社会だし選択し易い fact4: 「来演する」ものはある fact5: この有限要素法は敬するしかつ事例だ fact6: あの後進国は欲望するし甲斐甲斐しい fact7: 「意地悪くてあどけない」物はある fact8: あの多角化はメインバンク制である fact9: 「意地悪い」ものはある fact10: この有限要素法は意地悪くてかつ来演する fact11: あのサンライズは意地悪い fact12: あの後進国は来演する fact13: 「この有限要素法はメインバンク制で更にそれは選択し易い」ということは成り立つ fact14: 仮に「意地悪いしかつ選択し易い」ものがあるとするとあの後進国はあどけない fact15: 「安し」ものはある fact16: この有限要素法はあどけないしその上メインバンク制である fact17: この有限要素法はメインバンク制である fact18: 「あの中心値は来演するしかつ受傷する」ということは正しい fact19: あの後進国は意地悪い fact20: 何らかのものはメインバンク制だししかも来演する
fact10 -> int1: この有限要素法は意地悪い; fact13 -> int2: この有限要素法は選択し易い; int1 & int2 -> int3: この有限要素法は意地悪いし更に選択し易い; int3 -> int4: 意地悪くて選択し易い物はある; int4 & fact14 -> hypothesis;
$facts$ = fact1: 「来演するし加えてあどけない」ものはある fact2: この鑑賞者は選択し易い fact3: そのミルクジェラートがキリスト教社会だし選択し易い fact4: 「来演する」ものはある fact5: この有限要素法は敬するしかつ事例だ fact6: あの後進国は欲望するし甲斐甲斐しい fact7: 「意地悪くてあどけない」物はある fact8: あの多角化はメインバンク制である fact9: 「意地悪い」ものはある fact10: この有限要素法は意地悪くてかつ来演する fact11: あのサンライズは意地悪い fact12: あの後進国は来演する fact13: 「この有限要素法はメインバンク制で更にそれは選択し易い」ということは成り立つ fact14: 仮に「意地悪いしかつ選択し易い」ものがあるとするとあの後進国はあどけない fact15: 「安し」ものはある fact16: この有限要素法はあどけないしその上メインバンク制である fact17: この有限要素法はメインバンク制である fact18: 「あの中心値は来演するしかつ受傷する」ということは正しい fact19: あの後進国は意地悪い fact20: 何らかのものはメインバンク制だししかも来演する ; $hypothesis$ = 「あの後進国はあどけない」ということは確かである ; $proof$ = 
fact10 -> int1: この有限要素法は意地悪い; fact13 -> int2: この有限要素法は選択し易い; int1 & int2 -> int3: この有限要素法は意地悪いし更に選択し易い; int3 -> int4: 意地悪くて選択し易い物はある; int4 & fact14 -> hypothesis; __PROVED__
事実1: 「来演するし加えてあどけない」ものはある
事実2: この鑑賞者は選択し易い
事実3: そのミルクジェラートがキリスト教社会だし選択し易い
事実4: 「来演する」ものはある
事実5: この有限要素法は敬するしかつ事例だ
事実6: あの後進国は欲望するし甲斐甲斐しい
事実7: 「意地悪くてあどけない」物はある
事実8: あの多角化はメインバンク制である
事実9: 「意地悪い」ものはある
事実10: この有限要素法は意地悪くてかつ来演する
事実11: あのサンライズは意地悪い
事実12: あの後進国は来演する
事実13: 「この有限要素法はメインバンク制で更にそれは選択し易い」ということは成り立つ
事実14: 仮に「意地悪いしかつ選択し易い」ものがあるとするとあの後進国はあどけない
事実15: 「安し」ものはある
事実16: この有限要素法はあどけないしその上メインバンク制である
事実17: この有限要素法はメインバンク制である
事実18: 「あの中心値は来演するしかつ受傷する」ということは正しい
事実19: あの後進国は意地悪い
事実20: 何らかのものはメインバンク制だししかも来演する

仮説: 「あの後進国はあどけない」ということは確かである
1. 事実10から、推論1: "この有限要素法は意地悪い"が導かれる
2. 事実13から、推論2: "この有限要素法は選択し易い"が導かれる
3. 推論1と推論2から、推論3: "この有限要素法は意地悪いし更に選択し易い"が導かれる
4. 推論3から、推論4: "意地悪くて選択し易い物はある"が導かれる
5. 推論4と事実14から、仮説が導かれる

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