以下のように仮定する。食べ易いということが生じる
fact1: もし仮にぷにゃぷちょLv.36事件が起きるとすればバウンドすることは起こらないけれど人懐っこいということが起きる fact2: バウンドすることが発生する fact3: 人懐っこいということは起こらないということはバウンドすることと食べ易いということが起こるに起因する fact4: もし「食べ易いということが生じるけれど由々しということは生じない」ということは誤りであるならば由々しということが発生する fact5: 人懐っこいということかまたはバウンドすることは「由々しということは生じない」ということに起因する fact6: バウンドすることは起きないとすれば「食べ易いということが起きるし由々しということは起きない」ということは嘘だ
void -> assump1: 以下のように仮定する。食べ易いということが生じる; fact2 & assump1 -> int1: バウンドすることが起きるし食べ易いということが起こる; int1 & fact3 -> int2: 人懐っこいということは発生しない;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C};
由々しということが起きる
$facts$ = fact1: もし仮にぷにゃぷちょLv.36事件が起きるとすればバウンドすることは起こらないけれど人懐っこいということが起きる fact2: バウンドすることが発生する fact3: 人懐っこいということは起こらないということはバウンドすることと食べ易いということが起こるに起因する fact4: もし「食べ易いということが生じるけれど由々しということは生じない」ということは誤りであるならば由々しということが発生する fact5: 人懐っこいということかまたはバウンドすることは「由々しということは生じない」ということに起因する fact6: バウンドすることは起きないとすれば「食べ易いということが起きるし由々しということは起きない」ということは嘘だ ; $hypothesis$ = 以下のように仮定する。食べ易いということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__