しても良いということが生じる
fact1: 「ぴにょぴのLv.3事件が起きるししかも簡略化することが発生する」ということはしても良いということを防ぐ fact2: 「ぴにょぴのLv.3事件は生じなくて逸れることが生じる」ということは存在出来ることは生じないということに誘発される fact3: 「簡略化することおよびしても良いということ両方が生じる」ということはぷちゃぷくLv.74事件は起きないということにより生じる fact4: 簡略化することとぷちゃぷくLv.74事件が発生する
fact4 -> int1: 簡略化することが起きる;
fact4 -> int1: {A};
しても良いということが生じる
$facts$ = fact1: 「ぴにょぴのLv.3事件が起きるししかも簡略化することが発生する」ということはしても良いということを防ぐ fact2: 「ぴにょぴのLv.3事件は生じなくて逸れることが生じる」ということは存在出来ることは生じないということに誘発される fact3: 「簡略化することおよびしても良いということ両方が生じる」ということはぷちゃぷくLv.74事件は起きないということにより生じる fact4: 簡略化することとぷちゃぷくLv.74事件が発生する ; $hypothesis$ = しても良いということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__