あのみにゅみいLv.7は汚らわしくない
fact1: このまなまちょLv.28は鷲掴むかもしくはこよないかまたはどちらもである fact2: もし仮にこのぴねぴよLv.66が動かし難いとするとあのみにゅみいLv.7は汚らわしい fact3: そのみちゃみくLv.22は鷲掴むかあるいは差し出がましいかまたはどちらもである fact4: 「とあるモンスターは鷲掴むし更にそれはこよない」ということは事実と異なれば「汚らわしいということはない」ということは成り立つ fact5: このまなまちょLv.28が鷲掴めばこのぴねぴよLv.66は動かし難い fact6: もしもこのまなまちょLv.28がこよないならこのぴねぴよLv.66は動かし難い
fact1 & fact5 & fact6 -> int1: 「このぴねぴよLv.66は動かし難くない」ということは嘘である; int1 & fact2 -> hypothesis;
fact1 & fact5 & fact6 -> int1: {C}{c}; int1 & fact2 -> hypothesis;
あのみにゅみいLv.7は汚らわしくない
fact7 -> int2: 仮に「あのみにゅみいLv.7は鷲掴むしまたそれはこよない」ということは成り立たないとするとそれは汚らわしくない;
$facts$ = fact1: このまなまちょLv.28は鷲掴むかもしくはこよないかまたはどちらもである fact2: もし仮にこのぴねぴよLv.66が動かし難いとするとあのみにゅみいLv.7は汚らわしい fact3: そのみちゃみくLv.22は鷲掴むかあるいは差し出がましいかまたはどちらもである fact4: 「とあるモンスターは鷲掴むし更にそれはこよない」ということは事実と異なれば「汚らわしいということはない」ということは成り立つ fact5: このまなまちょLv.28が鷲掴めばこのぴねぴよLv.66は動かし難い fact6: もしもこのまなまちょLv.28がこよないならこのぴねぴよLv.66は動かし難い ; $hypothesis$ = あのみにゅみいLv.7は汚らわしくない ; $proof$ = 
fact1 & fact5 & fact6 -> int1: 「このぴねぴよLv.66は動かし難くない」ということは嘘である; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact5 & fact6 -> int1: {C}{c}; int1 & fact2 -> hypothesis; __DISPROVED__