その消炎は読み易いしそれに出現する
fact1: その消炎は読み易い fact2: 仮にその消炎が空しいけど遣り難くないとしたらこの大降りは遣り難い fact3: そのキットは出現する fact4: その消炎は出現する
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
この大降りは遣り難いししかも出現する
$facts$ = fact1: その消炎は読み易い fact2: 仮にその消炎が空しいけど遣り難くないとしたらこの大降りは遣り難い fact3: そのキットは出現する fact4: その消炎は出現する ; $hypothesis$ = その消炎は読み易いしそれに出現する ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: その消炎は読み易い
事実2: 仮にその消炎が空しいけど遣り難くないとしたらこの大降りは遣り難い
事実3: そのキットは出現する
事実4: その消炎は出現する

仮説: その消炎は読み易いしそれに出現する
1. 事実1と事実4から、仮説が導かれる

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