あのみわみやLv.19はいとおしくない
fact1: 仮にそのぴわぴねLv.55が共同利用しないならそのぴわぴねLv.55は嬉しいししかも下がり始める fact2: 仮にこのみにょみちゃLv.36が美々しいならあのみわみやLv.19は嬉しい fact3: あのみわみやLv.19が嬉しいとすればあのみわみやLv.19はいとおしい fact4: このみにょみちゃLv.36は美々しい
fact2 & fact4 -> int1: あのみわみやLv.19は嬉しい; int1 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
あのみわみやLv.19はいとおしくない
$facts$ = fact1: 仮にそのぴわぴねLv.55が共同利用しないならそのぴわぴねLv.55は嬉しいししかも下がり始める fact2: 仮にこのみにょみちゃLv.36が美々しいならあのみわみやLv.19は嬉しい fact3: あのみわみやLv.19が嬉しいとすればあのみわみやLv.19はいとおしい fact4: このみにょみちゃLv.36は美々しい ; $hypothesis$ = あのみわみやLv.19はいとおしくない ; $proof$ = 
fact2 & fact4 -> int1: あのみわみやLv.19は嬉しい; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__