知り難しということが生じる
fact1: 「知り難しということは生じなくて取り辛いということは起こらない」ということは行き給うことが起きないということは原因だ fact2: 「ぽちょぽちゅLv.11事件が生じる」ということは本当であるとすれば行き給うことは発生しない fact3: 取り辛いということおよび行き給うことどちらもが起きる
fact3 -> int1: 行き給うことが生じる;
fact3 -> int1: {B};
「知り難しということは生じない」ということは誤っていない
$facts$ = fact1: 「知り難しということは生じなくて取り辛いということは起こらない」ということは行き給うことが起きないということは原因だ fact2: 「ぽちょぽちゅLv.11事件が生じる」ということは本当であるとすれば行き給うことは発生しない fact3: 取り辛いということおよび行き給うことどちらもが起きる ; $hypothesis$ = 知り難しということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__