脂っこいということは起きない
fact1: 太り易いということは起きないということは「もえもにょLv.83事件および脂っこいということが発生する」ということに帰結する fact2: もし脂っこいということが生じるとしたら「ぽねぽねLv.14事件が生じるし自刃することは起きない」ということは事実と異なる fact3: 仮に「ぽねぽねLv.14事件は発生するし自刃することは生じない」ということは成り立たないとするともえもにょLv.83事件は起きない
void -> assump1: 以下のように仮定する。脂っこいということが発生する; fact2 & assump1 -> int1: 「ぽねぽねLv.14事件が起きるけれど自刃することは起きない」ということは間違いである; int1 & fact3 -> int2: もえもにょLv.83事件は起こらない;
void -> assump1: {A}; fact2 & assump1 -> int1: ¬({AA} & ¬{AB}); int1 & fact3 -> int2: ¬{B};
以下のように仮定する。脂っこいということが発生する
$facts$ = fact1: 太り易いということは起きないということは「もえもにょLv.83事件および脂っこいということが発生する」ということに帰結する fact2: もし脂っこいということが生じるとしたら「ぽねぽねLv.14事件が生じるし自刃することは起きない」ということは事実と異なる fact3: 仮に「ぽねぽねLv.14事件は発生するし自刃することは生じない」ということは成り立たないとするともえもにょLv.83事件は起きない ; $hypothesis$ = 脂っこいということは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__