あるモンスターは賛成し難いししかも縋り付く
fact1: 「あのもにゃもにょLv.51は縋り付く」ということは事実だ fact2: すべてのモンスターは起こり難くてそれに賛成し難い fact3: あのもにゃもにょLv.51は本当らしい fact4: 「あのもにゃもにょLv.51は起こり難い」ということは間違いでない fact5: あのもにゃもにょLv.51は来れるしそれに勿体無い fact6: もしあるモンスターが賛成し難いとしたら起こり難い
fact2 -> int1: あのもにゃもにょLv.51は起こり難くておまけに賛成し難い; int1 -> int2: あのもにゃもにょLv.51は賛成し難い; int2 & fact1 -> int3: あのもにゃもにょLv.51は賛成し難くてかつ縋り付く; int3 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: ({B}{a} & {C}{a}); int3 -> hypothesis;
「あのみなみゆLv.44は起こり難い」ということは間違っていない
fact7 -> int4: もし仮にあのみなみゆLv.44が賛成し難いとすれば起こり難い;
$facts$ = fact1: 「あのもにゃもにょLv.51は縋り付く」ということは事実だ fact2: すべてのモンスターは起こり難くてそれに賛成し難い fact3: あのもにゃもにょLv.51は本当らしい fact4: 「あのもにゃもにょLv.51は起こり難い」ということは間違いでない fact5: あのもにゃもにょLv.51は来れるしそれに勿体無い fact6: もしあるモンスターが賛成し難いとしたら起こり難い ; $hypothesis$ = あるモンスターは賛成し難いししかも縋り付く ; $proof$ = 
fact2 -> int1: あのもにゃもにょLv.51は起こり難くておまけに賛成し難い; int1 -> int2: あのもにゃもにょLv.51は賛成し難い; int2 & fact1 -> int3: あのもにゃもにょLv.51は賛成し難くてかつ縋り付く; int3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: ({B}{a} & {C}{a}); int3 -> hypothesis; __PROVED__