この腋窩創は嘶く
fact1: なんらかの物は臨時職員だとすると「それは嘶く」ということは正しい fact2: 仮に「この腋窩創は生活支援員だということはないし更にそれは臨時職員だということはない」ということは成り立たないならばあの右上は臨時職員である fact3: この腋窩創は嘶く fact4: 仮に「このネガティブ・フィードバックは嘶くししかもそれは臨時職員だ」ということは誤っているとすればあの腋窩創は嘶かない fact5: この白飛びは嘶く
fact3 -> hypothesis;
fact3 -> hypothesis;
あの右上は嘶く
fact6 -> int1: 仮にあの右上は臨時職員であるならそれは嘶く;
$facts$ = fact1: なんらかの物は臨時職員だとすると「それは嘶く」ということは正しい fact2: 仮に「この腋窩創は生活支援員だということはないし更にそれは臨時職員だということはない」ということは成り立たないならばあの右上は臨時職員である fact3: この腋窩創は嘶く fact4: 仮に「このネガティブ・フィードバックは嘶くししかもそれは臨時職員だ」ということは誤っているとすればあの腋窩創は嘶かない fact5: この白飛びは嘶く ; $hypothesis$ = この腋窩創は嘶く ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: なんらかの物は臨時職員だとすると「それは嘶く」ということは正しい
事実2: 仮に「この腋窩創は生活支援員だということはないし更にそれは臨時職員だということはない」ということは成り立たないならばあの右上は臨時職員である
事実3: この腋窩創は嘶く
事実4: 仮に「このネガティブ・フィードバックは嘶くししかもそれは臨時職員だ」ということは誤っているとすればあの腋窩創は嘶かない
事実5: この白飛びは嘶く

仮説: この腋窩創は嘶く
1. 事実3から、仮説が導かれる

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