「あのみゆみちゃLv.69は冷たくない」ということは成り立つ
fact1: あのみゆみちゃLv.69はブラバスらしい fact2: もしも何らかのモンスターは貧乏臭くないとすれば「冷たくないし加えてブラバスらしくない」ということは事実と異なる fact3: 「あのみゆみちゃLv.69は貧乏臭い」ということは本当である
void -> assump1: 以下のように仮定する。「あのみゆみちゃLv.69は冷たい」ということは正しい; assump1 & fact3 -> int1: あのみゆみちゃLv.69は冷たくておまけに貧乏臭い;
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a});
以下のように仮定する。「あのみゆみちゃLv.69は冷たい」ということは正しい
fact4 -> int2: もしあのみゆみちゃLv.69は貧乏臭くないとしたら「冷たくなくてしかもブラバスらしくない」ということは成り立たない;
$facts$ = fact1: あのみゆみちゃLv.69はブラバスらしい fact2: もしも何らかのモンスターは貧乏臭くないとすれば「冷たくないし加えてブラバスらしくない」ということは事実と異なる fact3: 「あのみゆみちゃLv.69は貧乏臭い」ということは本当である ; $hypothesis$ = 「あのみゆみちゃLv.69は冷たくない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__