毟ることは生じない
fact1: ぽわぽにょLv.8事件と悲しいということが発生する fact2: 毟ることとぽわぽにょLv.8事件が起こるは悲しいということは起きないということが契機だ fact3: 悲しいということが生じる fact4: 賢しいということとぽわぽにょLv.8事件が生じるは毟ることを回避する
fact1 -> int1: ぽわぽにょLv.8事件が発生する;
fact1 -> int1: {A};
毟ることが起こる
$facts$ = fact1: ぽわぽにょLv.8事件と悲しいということが発生する fact2: 毟ることとぽわぽにょLv.8事件が起こるは悲しいということは起きないということが契機だ fact3: 悲しいということが生じる fact4: 賢しいということとぽわぽにょLv.8事件が生じるは毟ることを回避する ; $hypothesis$ = 毟ることは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__