「「頼もしくない」ということは本当であるなら誇張するしさり気無い」物はある
fact1: もしもなにがしかのものは積分路でないならば「それは切り離すしその上厚い」ということは正しい fact2: もし仮にあの先刻承知が頼もしくないとすればそれは誇張するしさり気無い fact3: 「仮に捕らえ難いということはないとしたら近隣である」物はある
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし仮に積分路でないとすれば切り離すしそれに厚い」物はある
fact4 -> int1: その毛沢東思想は積分路でないならばそれは切り離すし更に厚い; int1 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものは積分路でないならば「それは切り離すしその上厚い」ということは正しい fact2: もし仮にあの先刻承知が頼もしくないとすればそれは誇張するしさり気無い fact3: 「仮に捕らえ難いということはないとしたら近隣である」物はある ; $hypothesis$ = 「「頼もしくない」ということは本当であるなら誇張するしさり気無い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものは積分路でないならば「それは切り離すしその上厚い」ということは正しい
事実2: もし仮にあの先刻承知が頼もしくないとすればそれは誇張するしさり気無い
事実3: 「仮に捕らえ難いということはないとしたら近隣である」物はある

仮説: 「「頼もしくない」ということは本当であるなら誇張するしさり気無い」物はある
1. 事実2から、仮説が導かれる

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