「もしも拭けないがしかし当世習俗論であるとしたら伸ばし易くない」ものはある
fact1: 「仮にごついということはないし企業行動であるとすると勝ち取らない」物はある fact2: 「もしも少なしということはないしさらに即答出来るなら物理現象でない」物はある fact3: 「仮に期し難くないが搬送路であるとすれば「作り直さない」ということは真実な」ものはある fact4: もしその剣客が拭けないがしかし当世習俗論であるとすれば伸ばし易くない fact5: 「もし仮に農地政策でない一方で臨時補足規定ならトリハロメタンでない」物はある fact6: 「もし拭けないけど当世習俗論であるとすると伸ばし易い」ものはある fact7: もし仮にその剣客がネスレコンフェクショナリーでないけど伸ばし易いとすればそれは多数派工作でない fact8: 仮にあのエンゼルプランは封入体でないけれど投げ込むとしたら漏れ易い fact9: もしもその仲間作りが躍り出ない一方で集積するとすると拭ける fact10: 「もしも「古しないし気弱い」ということは本当だとすると安い」ものはある fact11: 「もし砕けるし代行応諾だとすると多数派工作でない」ものはある fact12: もし仮にその剣客が拭けるしさらに当世習俗論であるならば伸ばし易くない fact13: 「もし拭けるしかつ当世習俗論だとすれば伸ばし易くない」ものはある
fact4 -> hypothesis;
$facts$ = fact1: 「仮にごついということはないし企業行動であるとすると勝ち取らない」物はある fact2: 「もしも少なしということはないしさらに即答出来るなら物理現象でない」物はある fact3: 「仮に期し難くないが搬送路であるとすれば「作り直さない」ということは真実な」ものはある fact4: もしその剣客が拭けないがしかし当世習俗論であるとすれば伸ばし易くない fact5: 「もし仮に農地政策でない一方で臨時補足規定ならトリハロメタンでない」物はある fact6: 「もし拭けないけど当世習俗論であるとすると伸ばし易い」ものはある fact7: もし仮にその剣客がネスレコンフェクショナリーでないけど伸ばし易いとすればそれは多数派工作でない fact8: 仮にあのエンゼルプランは封入体でないけれど投げ込むとしたら漏れ易い fact9: もしもその仲間作りが躍り出ない一方で集積するとすると拭ける fact10: 「もしも「古しないし気弱い」ということは本当だとすると安い」ものはある fact11: 「もし砕けるし代行応諾だとすると多数派工作でない」ものはある fact12: もし仮にその剣客が拭けるしさらに当世習俗論であるならば伸ばし易くない fact13: 「もし拭けるしかつ当世習俗論だとすれば伸ばし易くない」ものはある ; $hypothesis$ = 「もしも拭けないがしかし当世習俗論であるとしたら伸ばし易くない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「仮にごついということはないし企業行動であるとすると勝ち取らない」物はある
事実2: 「もしも少なしということはないしさらに即答出来るなら物理現象でない」物はある
事実3: 「仮に期し難くないが搬送路であるとすれば「作り直さない」ということは真実な」ものはある
事実4: もしその剣客が拭けないがしかし当世習俗論であるとすれば伸ばし易くない
事実5: 「もし仮に農地政策でない一方で臨時補足規定ならトリハロメタンでない」物はある
事実6: 「もし拭けないけど当世習俗論であるとすると伸ばし易い」ものはある
事実7: もし仮にその剣客がネスレコンフェクショナリーでないけど伸ばし易いとすればそれは多数派工作でない
事実8: 仮にあのエンゼルプランは封入体でないけれど投げ込むとしたら漏れ易い
事実9: もしもその仲間作りが躍り出ない一方で集積するとすると拭ける
事実10: 「もしも「古しないし気弱い」ということは本当だとすると安い」ものはある
事実11: 「もし砕けるし代行応諾だとすると多数派工作でない」ものはある
事実12: もし仮にその剣客が拭けるしさらに当世習俗論であるならば伸ばし易くない
事実13: 「もし拭けるしかつ当世習俗論だとすれば伸ばし易くない」ものはある

仮説: 「もしも拭けないがしかし当世習俗論であるとしたら伸ばし易くない」ものはある
1. 事実4から、仮説が導かれる

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