このもえもやLv.56は心無い
fact1: もしもこのもえもやLv.56が愛撫すればこのぴわぴにょLv.48は彷徨き回る fact2: もし仮にこのもえもやLv.56は難しいか愛撫するか両方ともであるならそれは心無くない fact3: とあるモンスターが愛撫するということはないならそれは難しくない fact4: このもえもやLv.56は彷徨き回るしかつ難しい fact5: このみやみなLv.83は愛撫しない fact6: このもえもやLv.56は彷徨き回る fact7: 難しくないモンスターは心無いし彷徨き回る
fact4 -> int1: このもえもやLv.56は難しい; int1 -> int2: このもえもやLv.56は難しいかもしくは愛撫するか両方ともである; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact2 -> hypothesis;
このもえもやLv.56は心無い
fact8 -> int3: 「このもえもやLv.56は難しいということはない」ということは確かであるとしたらこのもえもやLv.56は心無いしさらに彷徨き回る; fact9 -> int4: このみのみいLv.42が愛撫しないならこのみのみいLv.42は難しくない;
$facts$ = fact1: もしもこのもえもやLv.56が愛撫すればこのぴわぴにょLv.48は彷徨き回る fact2: もし仮にこのもえもやLv.56は難しいか愛撫するか両方ともであるならそれは心無くない fact3: とあるモンスターが愛撫するということはないならそれは難しくない fact4: このもえもやLv.56は彷徨き回るしかつ難しい fact5: このみやみなLv.83は愛撫しない fact6: このもえもやLv.56は彷徨き回る fact7: 難しくないモンスターは心無いし彷徨き回る ; $hypothesis$ = このもえもやLv.56は心無い ; $proof$ = 
fact4 -> int1: このもえもやLv.56は難しい; int1 -> int2: このもえもやLv.56は難しいかもしくは愛撫するか両方ともである; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__