「御教示下さることは発生しない」ということは成り立つ
fact1: 滑り難いということが発生する fact2: 受け戻すことは起きない fact3: 「過ごし易いということが起こる」ということは事実である fact4: もしも過ごし易いということは起こらないとすれば皮肉っぽいということは発生しなくて御教示下さることが起きる fact5: 冷え易いということともねもよLv.36事件どちらもが生じる fact6: ぴくぴのLv.25事件が生じる fact7: 「御教示下さることと過ごし易いということが起きる」ということはぴねぴわLv.62事件は起こらないということのきっかけとなる
void -> assump1: 以下のように仮定する。「御教示下さることが起こる」ということは嘘でない; assump1 & fact3 -> int1: 御教示下さることが起こるしそれに過ごし易いということが起こる; int1 & fact7 -> int2: ぴねぴわLv.62事件は生じない;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C};
皮肉っぽいということは生じない
$facts$ = fact1: 滑り難いということが発生する fact2: 受け戻すことは起きない fact3: 「過ごし易いということが起こる」ということは事実である fact4: もしも過ごし易いということは起こらないとすれば皮肉っぽいということは発生しなくて御教示下さることが起きる fact5: 冷え易いということともねもよLv.36事件どちらもが生じる fact6: ぴくぴのLv.25事件が生じる fact7: 「御教示下さることと過ごし易いということが起きる」ということはぴねぴわLv.62事件は起こらないということのきっかけとなる ; $hypothesis$ = 「御教示下さることは発生しない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__