以下のように仮定する。仲間らしいということが生じる
fact1: 「ぽやぽわLv.33事件が起きる」ということは成り立つ fact2: 仮にごついということが発生するとすると「ぽやぽわLv.33事件が起こるけど御寂しいということは生じない」ということは成り立たない fact3: もし仮に仲間らしいということが起こるし更にぽやぽわLv.33事件が生じるとすれば御寂しいということは発生しない
void -> assump1: 以下のように仮定する。仲間らしいということが生じる; assump1 & fact1 -> int1: 仲間らしいということが発生するし更にぽやぽわLv.33事件が生じる; int1 & fact3 -> int2: 御寂しいということは起こらない;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C};
以下のように仮定する。仲間らしいということが生じる
$facts$ = fact1: 「ぽやぽわLv.33事件が起きる」ということは成り立つ fact2: 仮にごついということが発生するとすると「ぽやぽわLv.33事件が起こるけど御寂しいということは生じない」ということは成り立たない fact3: もし仮に仲間らしいということが起こるし更にぽやぽわLv.33事件が生じるとすれば御寂しいということは発生しない ; $hypothesis$ = 以下のように仮定する。仲間らしいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__