「この浅さは対応し易い」ということは真実だとすればヒンズーでないしそれにそれはテイワ達だ
fact1: もしもなんらかの物が対応し易いとするとヒンズーだしテイワ達だ fact2: 仮に何かは対応し易いとすればそれはヒンズーでないしそれはテイワ達である fact3: もしもこの浅さが対応し易いならそれはテイワ達である fact4: もしこの浅さが対応し易いとすればヒンズーだし加えてそれはテイワ達だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が対応し易いとするとヒンズーだしテイワ達だ fact2: 仮に何かは対応し易いとすればそれはヒンズーでないしそれはテイワ達である fact3: もしもこの浅さが対応し易いならそれはテイワ達である fact4: もしこの浅さが対応し易いとすればヒンズーだし加えてそれはテイワ達だ ; $hypothesis$ = 「この浅さは対応し易い」ということは真実だとすればヒンズーでないしそれにそれはテイワ達だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が対応し易いとするとヒンズーだしテイワ達だ
事実2: 仮に何かは対応し易いとすればそれはヒンズーでないしそれはテイワ達である
事実3: もしもこの浅さが対応し易いならそれはテイワ達である
事実4: もしこの浅さが対応し易いとすればヒンズーだし加えてそれはテイワ達だ

仮説: 「この浅さは対応し易い」ということは真実だとすればヒンズーでないしそれにそれはテイワ達だ
1. 事実2から、仮説が導かれる

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