そのまやまちゃLv.50は口煩くない
fact1: もしもなにがしかのモンスターが書き続けないとすればそれは口煩くない fact2: もしもあのもなもにLv.5が野暮ったいならあのもなもにLv.5は禁ずる fact3: 仮にあのもなもにLv.5が禁ずるとするとそのまやまちゃLv.50は口煩い fact4: あのもなもにLv.5は書き続けるしそれは野暮ったい
fact4 -> int1: あのもなもにLv.5は野暮ったい; int1 & fact2 -> int2: 「あのもなもにLv.5は禁ずる」ということは成り立つ; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
そのまやまちゃLv.50は口煩くない
fact5 -> int3: そのまやまちゃLv.50が書き続けないならばそのまやまちゃLv.50は口煩くない;
$facts$ = fact1: もしもなにがしかのモンスターが書き続けないとすればそれは口煩くない fact2: もしもあのもなもにLv.5が野暮ったいならあのもなもにLv.5は禁ずる fact3: 仮にあのもなもにLv.5が禁ずるとするとそのまやまちゃLv.50は口煩い fact4: あのもなもにLv.5は書き続けるしそれは野暮ったい ; $hypothesis$ = そのまやまちゃLv.50は口煩くない ; $proof$ = 
fact4 -> int1: あのもなもにLv.5は野暮ったい; int1 & fact2 -> int2: 「あのもなもにLv.5は禁ずる」ということは成り立つ; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__