「この診察・検査は拡大・縮小しないかもしくはそれは人懐こくない」ということは成り立たない
fact1: 「何かは株券発行でない」ということは成り立つ fact2: もし「「「株券発行でない」ということは成り立つ」物はある」ということは真実であるとすればこの診察・検査は拡大・縮小しないかまたはそれは人懐こくないかあるいは両方だ
$facts$ = fact1: 「何かは株券発行でない」ということは成り立つ fact2: もし「「「株券発行でない」ということは成り立つ」物はある」ということは真実であるとすればこの診察・検査は拡大・縮小しないかまたはそれは人懐こくないかあるいは両方だ ; $hypothesis$ = 「この診察・検査は拡大・縮小しないかもしくはそれは人懐こくない」ということは成り立たない ; $proof$ = 
事実1: 「何かは株券発行でない」ということは成り立つ
事実2: もし「「「株券発行でない」ということは成り立つ」物はある」ということは真実であるとすればこの診察・検査は拡大・縮小しないかまたはそれは人懐こくないかあるいは両方だ

仮説: 「この診察・検査は拡大・縮小しないかもしくはそれは人懐こくない」ということは成り立たない