もし「この共同声明は出血し易いししかも死す」ということは真実でないとすれば寒くない
fact1: もし仮に出血し易いものが死すとすれば寒くない fact2: もし仮にこの共同声明が馬鹿らしくないならば死さない fact3: もし仮に「なんらかの物は御出掛けに成らない」ということは成り立つとしたら人違いでない fact4: もしも「あるものは出血し易くてかつ死す」ということは成り立つということはないとするとそれは寒くない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: もし仮に出血し易いものが死すとすれば寒くない fact2: もし仮にこの共同声明が馬鹿らしくないならば死さない fact3: もし仮に「なんらかの物は御出掛けに成らない」ということは成り立つとしたら人違いでない fact4: もしも「あるものは出血し易くてかつ死す」ということは成り立つということはないとするとそれは寒くない ; $hypothesis$ = もし「この共同声明は出血し易いししかも死す」ということは真実でないとすれば寒くない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮に出血し易いものが死すとすれば寒くない
事実2: もし仮にこの共同声明が馬鹿らしくないならば死さない
事実3: もし仮に「なんらかの物は御出掛けに成らない」ということは成り立つとしたら人違いでない
事実4: もしも「あるものは出血し易くてかつ死す」ということは成り立つということはないとするとそれは寒くない

仮説: もし「この共同声明は出血し易いししかも死す」ということは真実でないとすれば寒くない
1. 事実4から、仮説が導かれる

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