「もしもとろいとすると「「雪深くないけれど条約法会議である」ということは成り立つ」ということは事実と異なる」物はある
fact1: もし仮にあの阿頼耶識はとろいなら「雪深くないけれど条約法会議である」ということは間違いだ fact2: もしもなにかは後発国だとしたら「それは欲しがらないけど囀る」ということは嘘だ
fact1 -> hypothesis;
もしもその任意事業は後発国であるなら「欲しがらなくておまけにそれは囀る」ということは誤りである
fact3 -> hypothesis;
$facts$ = fact1: もし仮にあの阿頼耶識はとろいなら「雪深くないけれど条約法会議である」ということは間違いだ fact2: もしもなにかは後発国だとしたら「それは欲しがらないけど囀る」ということは嘘だ ; $hypothesis$ = 「もしもとろいとすると「「雪深くないけれど条約法会議である」ということは成り立つ」ということは事実と異なる」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの阿頼耶識はとろいなら「雪深くないけれど条約法会議である」ということは間違いだ
事実2: もしもなにかは後発国だとしたら「それは欲しがらないけど囀る」ということは嘘だ

仮説: 「もしもとろいとすると「「雪深くないけれど条約法会議である」ということは成り立つ」ということは事実と異なる」物はある
1. 事実1から、仮説が導かれる

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