「「「金属アレルギーでなくてしかも巨人でない」ということは誤っているとすると西下する」ものはある」ということは成り立たない
fact1: もし「その天美小学校は金属アレルギーでなくておまけに巨人でない」ということは嘘であるとしたら西下する
$facts$ = fact1: もし「その天美小学校は金属アレルギーでなくておまけに巨人でない」ということは嘘であるとしたら西下する ; $hypothesis$ = 「「「金属アレルギーでなくてしかも巨人でない」ということは誤っているとすると西下する」ものはある」ということは成り立たない ; $proof$ = 
事実1: もし「その天美小学校は金属アレルギーでなくておまけに巨人でない」ということは嘘であるとしたら西下する

仮説: 「「「金属アレルギーでなくてしかも巨人でない」ということは誤っているとすると西下する」ものはある」ということは成り立たない