あのまにゅまくLv.85が時代はからない
fact1: 迷信深いモンスターは憂くなくてかつ馴染み難くない fact2: そのもちゃもちゅLv.85は迷信深い fact3: もしそのみくみやLv.69が迷信深いとすれば憂くない fact4: もしもそのみくみやLv.69が憂くなくてそれが馴染み難くないとしたらあのまにゅまくLv.85は時代がかる fact5: そのみくみやLv.69は迷信深い fact6: 仮にそのみくみやLv.69が憂いがしかし馴染み難くないならあのまにゅまくLv.85は時代がかる
fact1 -> int1: そのみくみやLv.69が迷信深いとするとそのみくみやLv.69は憂くなくて馴染み難くない; int1 & fact5 -> int2: そのみくみやLv.69は憂くないし馴染み難くない; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 迷信深いモンスターは憂くなくてかつ馴染み難くない fact2: そのもちゃもちゅLv.85は迷信深い fact3: もしそのみくみやLv.69が迷信深いとすれば憂くない fact4: もしもそのみくみやLv.69が憂くなくてそれが馴染み難くないとしたらあのまにゅまくLv.85は時代がかる fact5: そのみくみやLv.69は迷信深い fact6: 仮にそのみくみやLv.69が憂いがしかし馴染み難くないならあのまにゅまくLv.85は時代がかる ; $hypothesis$ = あのまにゅまくLv.85が時代はからない ; $proof$ = 
fact1 -> int1: そのみくみやLv.69が迷信深いとするとそのみくみやLv.69は憂くなくて馴染み難くない; int1 & fact5 -> int2: そのみくみやLv.69は憂くないし馴染み難くない; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis; __DISPROVED__