詰まり易いということは生じない
fact1: 「ぴちゃぴちょLv.67事件ではなく百姓らしいということが発生する」ということは成り立つということはない fact2: 「まわまにょLv.33事件は生じないしおまけに深しということは起きない」ということは成り立たない fact3: もしも「まわまにょLv.33事件は生じないしさらに深しということは起きない」ということは間違いだとしたら燃すことは起こらない
fact3 & fact2 -> int1: 燃すことは発生しない;
fact3 & fact2 -> int1: ¬{B};
$facts$ = fact1: 「ぴちゃぴちょLv.67事件ではなく百姓らしいということが発生する」ということは成り立つということはない fact2: 「まわまにょLv.33事件は生じないしおまけに深しということは起きない」ということは成り立たない fact3: もしも「まわまにょLv.33事件は生じないしさらに深しということは起きない」ということは間違いだとしたら燃すことは起こらない ; $hypothesis$ = 詰まり易いということは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__