このデリバティブ取り引きは社会的差別である
fact1: もし「その総決算はガスバリア性でないけれどそれはおっきい」ということは正しいならばこのデリバティブ取り引きは社会的差別でない fact2: このデリバティブ取り引きは社会的差別であるし加えてガスバリア性だ fact3: あの投資者は確認し難くてまた社会的差別である fact4: もし仮にとある物がいらっしゃるならそれはガスバリア性でなくて加えておっきい fact5: あの内部留保は突っつくし加えてガスバリア性である fact6: このデリバティブ取り引きは忘れ難い fact7: 仮に何らかの物はガスバリア性であるならば社会的差別である
fact2 -> hypothesis;
このデリバティブ取り引きは社会的差別でない
fact8 -> int1: もしもその総決算がいらっしゃるならガスバリア性でないしまたそれはおっきい;
$facts$ = fact1: もし「その総決算はガスバリア性でないけれどそれはおっきい」ということは正しいならばこのデリバティブ取り引きは社会的差別でない fact2: このデリバティブ取り引きは社会的差別であるし加えてガスバリア性だ fact3: あの投資者は確認し難くてまた社会的差別である fact4: もし仮にとある物がいらっしゃるならそれはガスバリア性でなくて加えておっきい fact5: あの内部留保は突っつくし加えてガスバリア性である fact6: このデリバティブ取り引きは忘れ難い fact7: 仮に何らかの物はガスバリア性であるならば社会的差別である ; $hypothesis$ = このデリバティブ取り引きは社会的差別である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「その総決算はガスバリア性でないけれどそれはおっきい」ということは正しいならばこのデリバティブ取り引きは社会的差別でない
事実2: このデリバティブ取り引きは社会的差別であるし加えてガスバリア性だ
事実3: あの投資者は確認し難くてまた社会的差別である
事実4: もし仮にとある物がいらっしゃるならそれはガスバリア性でなくて加えておっきい
事実5: あの内部留保は突っつくし加えてガスバリア性である
事実6: このデリバティブ取り引きは忘れ難い
事実7: 仮に何らかの物はガスバリア性であるならば社会的差別である

仮説: このデリバティブ取り引きは社会的差別である
1. 事実2から、仮説が導かれる

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