粘っこいということは生じないとしたら粘っこいということは起こらないしみちょみなLv.75事件が起きる
fact1: 連想し易いということは生じない fact2: 「粘っこいということは起きないがしかしみちょみなLv.75事件が生じる」ということは粘っこいということが原因だ fact3: みちょみなLv.75事件が生じる
void -> assump1: 以下のように仮定する。粘っこいということは起きない; assump1 & fact3 -> int1: 粘っこいということは起きなくてみちょみなLv.75事件が生じる; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{A}; assump1 & fact3 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: 連想し易いということは生じない fact2: 「粘っこいということは起きないがしかしみちょみなLv.75事件が生じる」ということは粘っこいということが原因だ fact3: みちょみなLv.75事件が生じる ; $hypothesis$ = 粘っこいということは生じないとしたら粘っこいということは起こらないしみちょみなLv.75事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。粘っこいということは起きない; assump1 & fact3 -> int1: 粘っこいということは起きなくてみちょみなLv.75事件が生じる; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; assump1 & fact3 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis; __PROVED__