このまちょまなLv.81はややこしくない
fact1: このまちょまなLv.81は措定する fact2: もしもこのまちょまなLv.81は措定するとすれば「それはややこしくない」ということは間違いである
fact1 -> int1: このまちょまなLv.81は措定する; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このまちょまなLv.81は措定する fact2: もしもこのまちょまなLv.81は措定するとすれば「それはややこしくない」ということは間違いである ; $hypothesis$ = このまちょまなLv.81はややこしくない ; $proof$ = 
fact1 -> int1: このまちょまなLv.81は措定する; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__