「「この報告文書は床しかないかもしくは右副腎であるかあるいは両方ともだ」ということは間違っている」ということは成り立つなら召し出さない
fact1: もし「何かは床しかないかそれは右副腎である」ということは成り立たないとすればそれは召し出すということはない
$facts$ = fact1: もし「何かは床しかないかそれは右副腎である」ということは成り立たないとすればそれは召し出すということはない ; $hypothesis$ = 「「この報告文書は床しかないかもしくは右副腎であるかあるいは両方ともだ」ということは間違っている」ということは成り立つなら召し出さない ; $proof$ = 
事実1: もし「何かは床しかないかそれは右副腎である」ということは成り立たないとすればそれは召し出すということはない

仮説: 「「この報告文書は床しかないかもしくは右副腎であるかあるいは両方ともだ」ということは間違っている」ということは成り立つなら召し出さない