あの実体性は出捐するということはない
fact1: もしも「なにかは自負心でない」ということは真実だとしたらそれは嬉しいししかもそれは出捐する fact2: あの実体性は嬉しいということはなくてそれに出捐しない fact3: もし仮にそのおめでたは湿すし観察出来るとすればそれは浄化すらない
fact2 -> hypothesis;
あの実体性は出捐する
fact4 -> int1: 仮にあの実体性は自負心でないなら嬉しいしさらに出捐する;
$facts$ = fact1: もしも「なにかは自負心でない」ということは真実だとしたらそれは嬉しいししかもそれは出捐する fact2: あの実体性は嬉しいということはなくてそれに出捐しない fact3: もし仮にそのおめでたは湿すし観察出来るとすればそれは浄化すらない ; $hypothesis$ = あの実体性は出捐するということはない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「なにかは自負心でない」ということは真実だとしたらそれは嬉しいししかもそれは出捐する
事実2: あの実体性は嬉しいということはなくてそれに出捐しない
事実3: もし仮にそのおめでたは湿すし観察出来るとすればそれは浄化すらない

仮説: あの実体性は出捐するということはない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。