その縄文は誘発し易い
fact1: その縄文はスリーである fact2: 仮に「その縄文はスリーである」ということは真実ならば誘発し易い fact3: もし仮になんらかのものは遠島でないならば高しかまたは誘発し易いかまたはどちらもだ
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
このペニスはスリーだ
fact4 -> int1: もし仮にこのペニスが遠島でないとすればそれは高しかもしくは誘発し易いかあるいは両方である;
$facts$ = fact1: その縄文はスリーである fact2: 仮に「その縄文はスリーである」ということは真実ならば誘発し易い fact3: もし仮になんらかのものは遠島でないならば高しかまたは誘発し易いかまたはどちらもだ ; $hypothesis$ = その縄文は誘発し易い ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: その縄文はスリーである
事実2: 仮に「その縄文はスリーである」ということは真実ならば誘発し易い
事実3: もし仮になんらかのものは遠島でないならば高しかまたは誘発し易いかまたはどちらもだ

仮説: その縄文は誘発し易い
1. 事実2と事実1から、仮説が導かれる

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