仮にあのタイトル部分が雪深いとするとその御芋は列強だ
fact1: もし仮にあのタイトル部分は列強であるとすると「その御芋は結び付き難い」ということは間違いでない fact2: あのタイトル部分は結合出来る fact3: 仮にその経営層が望楼ならばそれは成り易い fact4: 「あのタイトル部分は列強である」ということは事実ならば「その御芋は雪深い」ということは誤りでない fact5: あのタイトル部分が結び付き難いならその御芋は雪深い fact6: その所得補償は結び付き難い fact7: あの現代文は雪深い fact8: そのピラミッドは列強だ fact9: もし仮にその御芋が雪深いとしたらあのタイトル部分は列強だ fact10: 仮にあのタイトル部分が雪深いならば列強である fact11: この三十パーセント台は結び付き難い fact12: その御芋は雪深い fact13: その御芋は金閣である fact14: その御芋は結び付き難い fact15: もしあのタイトル部分が雪深いならそれは結び付き難い fact16: その御芋は結び付き難いとすると「あのタイトル部分は列強である」ということは正しい fact17: もしも「「あのタイトル部分は結び付き難くない」ということは成り立つ」ということは嘘であるとすればあの御芋は列強だ fact18: それはどうして良いかあるいは光り輝くというものはない fact19: もし仮になんらかのものは列強でないとするとそれは雪深くてさらに結び付き難い fact20: あのタイトル部分はっ早い
void -> assump1: 以下のように仮定する。あのタイトル部分は雪深い; fact15 & assump1 -> int1: あのタイトル部分は結び付き難い; int1 & fact17 -> int2: その御芋は列強である; [assump1] & int2 -> hypothesis;
この性臭は雪深い
fact21 -> int3: もし仮にあのタイトル部分が列強でないならばそれは雪深いしそれは結び付き難い; fact22 -> int4: 「「あのタイトル部分はどうして良いかあるいは光り輝くかもしくはどちらもだ」ということは本当である」ということは成り立たない;
$facts$ = fact1: もし仮にあのタイトル部分は列強であるとすると「その御芋は結び付き難い」ということは間違いでない fact2: あのタイトル部分は結合出来る fact3: 仮にその経営層が望楼ならばそれは成り易い fact4: 「あのタイトル部分は列強である」ということは事実ならば「その御芋は雪深い」ということは誤りでない fact5: あのタイトル部分が結び付き難いならその御芋は雪深い fact6: その所得補償は結び付き難い fact7: あの現代文は雪深い fact8: そのピラミッドは列強だ fact9: もし仮にその御芋が雪深いとしたらあのタイトル部分は列強だ fact10: 仮にあのタイトル部分が雪深いならば列強である fact11: この三十パーセント台は結び付き難い fact12: その御芋は雪深い fact13: その御芋は金閣である fact14: その御芋は結び付き難い fact15: もしあのタイトル部分が雪深いならそれは結び付き難い fact16: その御芋は結び付き難いとすると「あのタイトル部分は列強である」ということは正しい fact17: もしも「「あのタイトル部分は結び付き難くない」ということは成り立つ」ということは嘘であるとすればあの御芋は列強だ fact18: それはどうして良いかあるいは光り輝くというものはない fact19: もし仮になんらかのものは列強でないとするとそれは雪深くてさらに結び付き難い fact20: あのタイトル部分はっ早い ; $hypothesis$ = 仮にあのタイトル部分が雪深いとするとその御芋は列強だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのタイトル部分は雪深い; fact15 & assump1 -> int1: あのタイトル部分は結び付き難い; int1 & fact17 -> int2: その御芋は列強である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にあのタイトル部分は列強であるとすると「その御芋は結び付き難い」ということは間違いでない
事実2: あのタイトル部分は結合出来る
事実3: 仮にその経営層が望楼ならばそれは成り易い
事実4: 「あのタイトル部分は列強である」ということは事実ならば「その御芋は雪深い」ということは誤りでない
事実5: あのタイトル部分が結び付き難いならその御芋は雪深い
事実6: その所得補償は結び付き難い
事実7: あの現代文は雪深い
事実8: そのピラミッドは列強だ
事実9: もし仮にその御芋が雪深いとしたらあのタイトル部分は列強だ
事実10: 仮にあのタイトル部分が雪深いならば列強である
事実11: この三十パーセント台は結び付き難い
事実12: その御芋は雪深い
事実13: その御芋は金閣である
事実14: その御芋は結び付き難い
事実15: もしあのタイトル部分が雪深いならそれは結び付き難い
事実16: その御芋は結び付き難いとすると「あのタイトル部分は列強である」ということは正しい
事実17: もしも「「あのタイトル部分は結び付き難くない」ということは成り立つ」ということは嘘であるとすればあの御芋は列強だ
事実18: それはどうして良いかあるいは光り輝くというものはない
事実19: もし仮になんらかのものは列強でないとするとそれは雪深くてさらに結び付き難い
事実20: あのタイトル部分はっ早い

仮説: 仮にあのタイトル部分が雪深いとするとその御芋は列強だ
1. 仮定1: 以下のように仮定する。あのタイトル部分は雪深い
2. 事実15と仮定1から、推論1: "あのタイトル部分は結び付き難い"が導かれる
3. 推論1と事実17から、推論2: "その御芋は列強である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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