この営業面は資産形成だ
fact1: この営業面は資産形成である fact2: もしも「なんらかのものは品以外でないけどそれは資産形成だ」ということは事実と異なるならそれは資産形成でない fact3: あの試験結果テーブルは資産形成である
fact1 -> hypothesis;
この営業面は資産形成でない
fact4 -> int1: もしも「「この営業面は品以外でないが資産形成である」ということは成り立たない」ということは成り立てば資産形成でない;
$facts$ = fact1: この営業面は資産形成である fact2: もしも「なんらかのものは品以外でないけどそれは資産形成だ」ということは事実と異なるならそれは資産形成でない fact3: あの試験結果テーブルは資産形成である ; $hypothesis$ = この営業面は資産形成だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この営業面は資産形成である
事実2: もしも「なんらかのものは品以外でないけどそれは資産形成だ」ということは事実と異なるならそれは資産形成でない
事実3: あの試験結果テーブルは資産形成である

仮説: この営業面は資産形成だ
1. 事実1から、仮説が導かれる

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