「もしもあの腎盂は御存じ無くないならば「あの腎盂は命拾いしないしその上取捨選択でない」ということは成り立たない」ということは成り立たない
fact1: もし仮にとあるものは御存じ無くないとしたら「それは命拾いするということはないしそれは取捨選択であるということはない」ということは成り立たない
$facts$ = fact1: もし仮にとあるものは御存じ無くないとしたら「それは命拾いするということはないしそれは取捨選択であるということはない」ということは成り立たない ; $hypothesis$ = 「もしもあの腎盂は御存じ無くないならば「あの腎盂は命拾いしないしその上取捨選択でない」ということは成り立たない」ということは成り立たない ; $proof$ = 
事実1: もし仮にとあるものは御存じ無くないとしたら「それは命拾いするということはないしそれは取捨選択であるということはない」ということは成り立たない

仮説: 「もしもあの腎盂は御存じ無くないならば「あの腎盂は命拾いしないしその上取捨選択でない」ということは成り立たない」ということは成り立たない