このオルギーがＴＢだがしかし潔くないとすればきつい
fact1: もし仮にあのシーサーは清しがしかし潔くないならば用心深い fact2: このケース文は諸大名でそれにＴＢであるということはないならばそれはたどたどしい fact3: ＴＢが潔くないならばきつい fact4: もしなにがしかのものがおっかなくてかつそれが彼らしいとすればそれはペイントする fact5: もし淀殿が人見知りするということはないならば吝い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もし仮にあのシーサーは清しがしかし潔くないならば用心深い fact2: このケース文は諸大名でそれにＴＢであるということはないならばそれはたどたどしい fact3: ＴＢが潔くないならばきつい fact4: もしなにがしかのものがおっかなくてかつそれが彼らしいとすればそれはペイントする fact5: もし淀殿が人見知りするということはないならば吝い ; $hypothesis$ = このオルギーがＴＢだがしかし潔くないとすればきつい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にあのシーサーは清しがしかし潔くないならば用心深い
事実2: このケース文は諸大名でそれにＴＢであるということはないならばそれはたどたどしい
事実3: ＴＢが潔くないならばきつい
事実4: もしなにがしかのものがおっかなくてかつそれが彼らしいとすればそれはペイントする
事実5: もし淀殿が人見知りするということはないならば吝い

仮説: このオルギーがＴＢだがしかし潔くないとすればきつい
1. 事実3から、仮説が導かれる

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