ぽにゃぽちょLv.8事件が生じる
fact1: まちゅまちょLv.26事件が奥深いということが起きるということはきっかけだ fact2: 蹴り飛ばすことは起こらないということは「ぽにゃぽちょLv.8事件が起きないしまたぽちゃぽわLv.80事件は生じない」ということを生じさせる fact3: ぽちゃぽわLv.80事件が起きるしさらに蹴り飛ばすことが生じる fact4: エロいということは「京都らしいということは発生しないしその上蹴り飛ばすことは発生しない」ということを発生させる
fact3 -> int1: ぽちゃぽわLv.80事件が発生する;
fact3 -> int1: {A};
ぽにゃぽちょLv.8事件は生じない
$facts$ = fact1: まちゅまちょLv.26事件が奥深いということが起きるということはきっかけだ fact2: 蹴り飛ばすことは起こらないということは「ぽにゃぽちょLv.8事件が起きないしまたぽちゃぽわLv.80事件は生じない」ということを生じさせる fact3: ぽちゃぽわLv.80事件が起きるしさらに蹴り飛ばすことが生じる fact4: エロいということは「京都らしいということは発生しないしその上蹴り飛ばすことは発生しない」ということを発生させる ; $hypothesis$ = ぽにゃぽちょLv.8事件が生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__