あのもにょものLv.93は幼しということはない
fact1: 「もしもとあるモンスターが上がり易いとすると労労じ」ということは事実だ fact2: もしこのみいみにゃLv.5が労労じとすればこのみいみにゃLv.5は語り得る fact3: もしこのみいみにゃLv.5が語り得るとするとあのもにょものLv.93は幼し fact4: もし仮に「あるモンスターは上がり易くない一方で音読する」ということは成り立たないとしたら労労じ fact5: 「このみいみにゃLv.5は上がり易いしさらにそれは音読する」ということは事実でない fact6: 「「このみいみにゃLv.5は上がり易くない一方で音読する」ということは本当だ」ということは間違いだ fact7: もしあのもにょものLv.93が語り得るしおまけに労労じならあのもにょものLv.93は幼しない fact8: もし「このみいみにゃLv.5は上がり易い」ということは成り立つならこのみいみにゃLv.5は労労じ
fact4 -> int1: 「このみいみにゃLv.5は上がり易くないがしかし音読する」ということは成り立たないならばこのみいみにゃLv.5は労労じ; int1 & fact6 -> int2: このみいみにゃLv.5は労労じ; int2 & fact2 -> int3: このみいみにゃLv.5は語り得る; int3 & fact3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & fact6 -> int2: {B}{a}; int2 & fact2 -> int3: {A}{a}; int3 & fact3 -> hypothesis;
あのもにょものLv.93は幼しということはない
$facts$ = fact1: 「もしもとあるモンスターが上がり易いとすると労労じ」ということは事実だ fact2: もしこのみいみにゃLv.5が労労じとすればこのみいみにゃLv.5は語り得る fact3: もしこのみいみにゃLv.5が語り得るとするとあのもにょものLv.93は幼し fact4: もし仮に「あるモンスターは上がり易くない一方で音読する」ということは成り立たないとしたら労労じ fact5: 「このみいみにゃLv.5は上がり易いしさらにそれは音読する」ということは事実でない fact6: 「「このみいみにゃLv.5は上がり易くない一方で音読する」ということは本当だ」ということは間違いだ fact7: もしあのもにょものLv.93が語り得るしおまけに労労じならあのもにょものLv.93は幼しない fact8: もし「このみいみにゃLv.5は上がり易い」ということは成り立つならこのみいみにゃLv.5は労労じ ; $hypothesis$ = あのもにょものLv.93は幼しということはない ; $proof$ = 
fact4 -> int1: 「このみいみにゃLv.5は上がり易くないがしかし音読する」ということは成り立たないならばこのみいみにゃLv.5は労労じ; int1 & fact6 -> int2: このみいみにゃLv.5は労労じ; int2 & fact2 -> int3: このみいみにゃLv.5は語り得る; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & fact6 -> int2: {B}{a}; int2 & fact2 -> int3: {A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__