「もし仮に細かいということはないなら「取り易いししかも嫌味ったらしい」ということは事実と異なる」ものはある
fact1: もしあの言い分は彷彿するなら「それが前述するしその上嫌味ったらしい」ということは間違いだ fact2: あの言い分は細かくないとしたら「取り易いししかも嫌味ったらしい」ということは偽である
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしあの言い分は彷彿するなら「それが前述するしその上嫌味ったらしい」ということは間違いだ fact2: あの言い分は細かくないとしたら「取り易いししかも嫌味ったらしい」ということは偽である ; $hypothesis$ = 「もし仮に細かいということはないなら「取り易いししかも嫌味ったらしい」ということは事実と異なる」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしあの言い分は彷彿するなら「それが前述するしその上嫌味ったらしい」ということは間違いだ
事実2: あの言い分は細かくないとしたら「取り易いししかも嫌味ったらしい」ということは偽である

仮説: 「もし仮に細かいということはないなら「取り易いししかも嫌味ったらしい」ということは事実と異なる」ものはある
1. 事実2から、仮説が導かれる

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