「仮に「あの透析アミロイドーシスは馴染み深いということはないがしかし申し込み書きである」ということは成り立たないとしたらあの透析アミロイドーシスは上げ易くない」ということは成り立たない
fact1: 仮に「とある物は馴染み深いということはない一方でそれは申し込み書きだ」ということは偽だとすれば上げ易くない
$facts$ = fact1: 仮に「とある物は馴染み深いということはない一方でそれは申し込み書きだ」ということは偽だとすれば上げ易くない ; $hypothesis$ = 「仮に「あの透析アミロイドーシスは馴染み深いということはないがしかし申し込み書きである」ということは成り立たないとしたらあの透析アミロイドーシスは上げ易くない」ということは成り立たない ; $proof$ = 
事実1: 仮に「とある物は馴染み深いということはない一方でそれは申し込み書きだ」ということは偽だとすれば上げ易くない

仮説: 「仮に「あの透析アミロイドーシスは馴染み深いということはないがしかし申し込み書きである」ということは成り立たないとしたらあの透析アミロイドーシスは上げ易くない」ということは成り立たない