「もしも屈み込まないしおまけに安堵し難くないとしたらＦＡＳである」物はある
fact1: この菌核はステルスマインである一方で安堵し難くないとしたら結着する fact2: 何かは焼却施設でないししかも床柱でないならば安堵し難い fact3: もしもこの写真上は屈み込むということはないしかつ安堵し難いということはないならばＦＡＳである
fact3 -> hypothesis;
あの会計単位が焼却施設であるということはないし更に床柱でないならば安堵し難い
fact4 -> hypothesis;
$facts$ = fact1: この菌核はステルスマインである一方で安堵し難くないとしたら結着する fact2: 何かは焼却施設でないししかも床柱でないならば安堵し難い fact3: もしもこの写真上は屈み込むということはないしかつ安堵し難いということはないならばＦＡＳである ; $hypothesis$ = 「もしも屈み込まないしおまけに安堵し難くないとしたらＦＡＳである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この菌核はステルスマインである一方で安堵し難くないとしたら結着する
事実2: 何かは焼却施設でないししかも床柱でないならば安堵し難い
事実3: もしもこの写真上は屈み込むということはないしかつ安堵し難いということはないならばＦＡＳである

仮説: 「もしも屈み込まないしおまけに安堵し難くないとしたらＦＡＳである」物はある
1. 事実3から、仮説が導かれる

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