「この山本プロは足し算しなくておまけに三人目であるということはない」ということは成り立たない
fact1: ある物は株式会社化するということはない fact2: もしも「「株式会社化するということはない」ということは誤りでない」物があるとすればこの山本プロは足し算しなくて更に三人目でない
$facts$ = fact1: ある物は株式会社化するということはない fact2: もしも「「株式会社化するということはない」ということは誤りでない」物があるとすればこの山本プロは足し算しなくて更に三人目でない ; $hypothesis$ = 「この山本プロは足し算しなくておまけに三人目であるということはない」ということは成り立たない ; $proof$ = 
事実1: ある物は株式会社化するということはない
事実2: もしも「「株式会社化するということはない」ということは誤りでない」物があるとすればこの山本プロは足し算しなくて更に三人目でない

仮説: 「この山本プロは足し算しなくておまけに三人目であるということはない」ということは成り立たない