「まちゃまにゃLv.84事件は起こらなくてかつ心苦しいということは生じない」ということは確かだということはない
fact1: みちゅみちゅLv.66事件は心苦しいということかまたは美しということは起きないということか両方ともの原因となる fact2: ぽちょぽわLv.74事件は生じないということは「まちゃまにゃLv.84事件かもしくは消化し易いということが起こる」ということをもたらす fact3: まちゅまにLv.45事件が発生しなくてもよもにょLv.93事件は起きない fact4: みちゅみちゅLv.66事件は起きないならば使い易いということではなくて消化し易いということが起こる fact5: 厚いということが発生する fact6: 消化し易いということは起こらない fact7: まちゃまにゃLv.84事件は消化し易いということを発生させる
void -> assump1: 以下のように仮定する。まちゃまにゃLv.84事件が起こる; fact7 & assump1 -> int1: 「消化し易いということが起きる」ということは真実だ; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: まちゃまにゃLv.84事件は生じない;
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
「まちゃまにゃLv.84事件は起こらなくてかつ心苦しいということは生じない」ということは確かだということはない
 -> hypothesis;
$facts$ = fact1: みちゅみちゅLv.66事件は心苦しいということかまたは美しということは起きないということか両方ともの原因となる fact2: ぽちょぽわLv.74事件は生じないということは「まちゃまにゃLv.84事件かもしくは消化し易いということが起こる」ということをもたらす fact3: まちゅまにLv.45事件が発生しなくてもよもにょLv.93事件は起きない fact4: みちゅみちゅLv.66事件は起きないならば使い易いということではなくて消化し易いということが起こる fact5: 厚いということが発生する fact6: 消化し易いということは起こらない fact7: まちゃまにゃLv.84事件は消化し易いということを発生させる ; $hypothesis$ = 「まちゃまにゃLv.84事件は起こらなくてかつ心苦しいということは生じない」ということは確かだということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__