このユーカリは惜別でなくてそれにそれは来辛くない
fact1: もしもこの蕎麦屋がからしないならばあのユーカリは惜別でないし更にそれは来辛いということはない fact2: あの裏庭はからしない fact3: この蕎麦屋はからしない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: もしもこの蕎麦屋がからしないならばあのユーカリは惜別でないし更にそれは来辛いということはない fact2: あの裏庭はからしない fact3: この蕎麦屋はからしない ; $hypothesis$ = このユーカリは惜別でなくてそれにそれは来辛くない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: もしもこの蕎麦屋がからしないならばあのユーカリは惜別でないし更にそれは来辛いということはない
事実2: あの裏庭はからしない
事実3: この蕎麦屋はからしない

仮説: このユーカリは惜別でなくてそれにそれは来辛くない
1. 事実1と事実3から、仮説が導かれる

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