この新基準はやきもきしない
fact1: この新基準は説明しない fact2: もしこの門外漢が生でないならこの新基準は僚友だしさらに厚し fact3: あの導入段階はし為さらないし加えてやきもきしない fact4: 僚友はやきもきする fact5: あの改善結果は僚友でない fact6: この新基準は僚友でないしやきもきしない fact7: この新基準は僚友でない fact8: もしもそのフレイジングがやきもきするとすれば僚友でない fact9: 仮になにがしかのものが生でないなら厚しし加えてやきもきする
fact6 -> hypothesis;
そのフレイジングは僚友であるということはない
fact11 -> int1: もしも「そのフレイジングは生でない」ということは真実であるならばそれは厚ししそれはやきもきする;
$facts$ = fact1: この新基準は説明しない fact2: もしこの門外漢が生でないならこの新基準は僚友だしさらに厚し fact3: あの導入段階はし為さらないし加えてやきもきしない fact4: 僚友はやきもきする fact5: あの改善結果は僚友でない fact6: この新基準は僚友でないしやきもきしない fact7: この新基準は僚友でない fact8: もしもそのフレイジングがやきもきするとすれば僚友でない fact9: 仮になにがしかのものが生でないなら厚しし加えてやきもきする ; $hypothesis$ = この新基準はやきもきしない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: この新基準は説明しない
事実2: もしこの門外漢が生でないならこの新基準は僚友だしさらに厚し
事実3: あの導入段階はし為さらないし加えてやきもきしない
事実4: 僚友はやきもきする
事実5: あの改善結果は僚友でない
事実6: この新基準は僚友でないしやきもきしない
事実7: この新基準は僚友でない
事実8: もしもそのフレイジングがやきもきするとすれば僚友でない
事実9: 仮になにがしかのものが生でないなら厚しし加えてやきもきする

仮説: この新基準はやきもきしない
1. 事実6から、仮説が導かれる

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