伝え易いということは起きない
fact1: もしももにょもちょLv.24事件が起きるとすればまねまちゃLv.41事件は生じないしおまけに女性らしいということは起きない fact2: 入り易いということは発生しない fact3: 御優しいということは伝え易いということの原因となる fact4: 切ないということが生じる fact5: 「動揺し易いということが起こる」ということは成り立つ fact6: もし「まねまちゃLv.41事件は発生しない」ということは確かだとすれば御優しいということと動揺し易いということ両方ともが起きる fact7: 動揺し易いということは「御優しいということが発生するかあるいは伝え易いということが生じるかまたは両方である」ということに阻まれる
void -> assump1: 以下のように仮定する。伝え易いということが起きる; assump1 -> int1: 御優しいということが起こるかまたは伝え易いということが起きるかまたは両方ともだ; int1 & fact7 -> int2: 動揺し易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。伝え易いということが起きる
$facts$ = fact1: もしももにょもちょLv.24事件が起きるとすればまねまちゃLv.41事件は生じないしおまけに女性らしいということは起きない fact2: 入り易いということは発生しない fact3: 御優しいということは伝え易いということの原因となる fact4: 切ないということが生じる fact5: 「動揺し易いということが起こる」ということは成り立つ fact6: もし「まねまちゃLv.41事件は発生しない」ということは確かだとすれば御優しいということと動揺し易いということ両方ともが起きる fact7: 動揺し易いということは「御優しいということが発生するかあるいは伝え易いということが生じるかまたは両方である」ということに阻まれる ; $hypothesis$ = 伝え易いということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。伝え易いということが起きる; assump1 -> int1: 御優しいということが起こるかまたは伝え易いということが起きるかまたは両方ともだ; int1 & fact7 -> int2: 動揺し易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__