以下のように仮定する。ぽのぽなLv.5事件が起きる
fact1: アメリカっぽいということは起きないということは「ぷなぷにLv.60事件が生じるしおまけにみくみゆLv.43事件が起きる」ということが契機である fact2: もにゃもわLv.49事件が起きる fact3: ぽにゅぽにょLv.73事件は起きない fact4: ぴねぴにLv.84事件が起きるということはぽのぽなLv.5事件ともにゃもわLv.49事件が起きるに阻まれる fact5: 大きいということが生じるとしたら「ぴねぴにLv.84事件が生じるしもにゃもわLv.49事件は起こらない」ということは偽だ
void -> assump1: 以下のように仮定する。ぽのぽなLv.5事件が起きる; assump1 & fact2 -> int1: ぽのぽなLv.5事件が起こるししかももにゃもわLv.49事件が生じる; int1 & fact4 -> int2: ぴねぴにLv.84事件は起こらない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C};
以下のように仮定する。ぽのぽなLv.5事件が起きる
$facts$ = fact1: アメリカっぽいということは起きないということは「ぷなぷにLv.60事件が生じるしおまけにみくみゆLv.43事件が起きる」ということが契機である fact2: もにゃもわLv.49事件が起きる fact3: ぽにゅぽにょLv.73事件は起きない fact4: ぴねぴにLv.84事件が起きるということはぽのぽなLv.5事件ともにゃもわLv.49事件が起きるに阻まれる fact5: 大きいということが生じるとしたら「ぴねぴにLv.84事件が生じるしもにゃもわLv.49事件は起こらない」ということは偽だ ; $hypothesis$ = 以下のように仮定する。ぽのぽなLv.5事件が起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__