そのまちゅまのLv.62は憎たらしくない
fact1: 仮にあるモンスターは吸収され難いとすると「「早めないけれど憎たらしい」ということは正しい」ということは偽である fact2: もしもなんらかのモンスターが吸収され難くないならば安眠出来るしそれに幼し fact3: もしこのぴいぴなLv.72が幼しとするとそのまちゅまのLv.62は早める fact4: もしそのまちゅまのLv.62が塩辛くないとすればそのまちゅまのLv.62は弾き易いし更に吸収され難い fact5: そのまちゅまのLv.62が早めるとするとそのまちゅまのLv.62は憎たらしい fact6: なんらかのモンスターが吸収され難くないとすると安眠出来る fact7: このぴいぴなLv.72は吸収され難くない fact8: もしこのぴいぴなLv.72が早めるならそのまちゅまのLv.62は安眠出来る
fact2 -> int1: このぴいぴなLv.72が吸収され難くないとすれば安眠出来るししかも幼し; int1 & fact7 -> int2: このぴいぴなLv.72が安眠出来るしその上幼し; int2 -> int3: このぴいぴなLv.72は幼し; int3 & fact3 -> int4: そのまちゅまのLv.62は早める; int4 & fact5 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact3 -> int4: {B}{a}; int4 & fact5 -> hypothesis;
そのまちゅまのLv.62は憎たらしくない
fact9 -> int5: もし仮に「そのまちゅまのLv.62は吸収され難い」ということは正しいとすると「「そのまちゅまのLv.62は早めないけれど憎たらしい」ということは事実である」ということは誤りだ;
$facts$ = fact1: 仮にあるモンスターは吸収され難いとすると「「早めないけれど憎たらしい」ということは正しい」ということは偽である fact2: もしもなんらかのモンスターが吸収され難くないならば安眠出来るしそれに幼し fact3: もしこのぴいぴなLv.72が幼しとするとそのまちゅまのLv.62は早める fact4: もしそのまちゅまのLv.62が塩辛くないとすればそのまちゅまのLv.62は弾き易いし更に吸収され難い fact5: そのまちゅまのLv.62が早めるとするとそのまちゅまのLv.62は憎たらしい fact6: なんらかのモンスターが吸収され難くないとすると安眠出来る fact7: このぴいぴなLv.72は吸収され難くない fact8: もしこのぴいぴなLv.72が早めるならそのまちゅまのLv.62は安眠出来る ; $hypothesis$ = そのまちゅまのLv.62は憎たらしくない ; $proof$ = 
fact2 -> int1: このぴいぴなLv.72が吸収され難くないとすれば安眠出来るししかも幼し; int1 & fact7 -> int2: このぴいぴなLv.72が安眠出来るしその上幼し; int2 -> int3: このぴいぴなLv.72は幼し; int3 & fact3 -> int4: そのまちゅまのLv.62は早める; int4 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact3 -> int4: {B}{a}; int4 & fact5 -> hypothesis; __DISPROVED__