そのもにゃもよLv.45は気まずい
fact1: 快くないモンスターは気まずいしいじましい fact2: もし仮にそのぷにぷなLv.56が吊ればあのみくみにょLv.74は弛い fact3: そのもにゃもよLv.45は弛いということはなくて帰還しない fact4: もし仮に弛くないモンスターが帰還しないならば気まずい fact5: もしもあのぴわぴやLv.71が気まずいならそのぷにぷなLv.56は吊る
fact4 -> int1: もしそのもにゃもよLv.45が弛くないしそれにそれが帰還するということはないならばそれは気まずい; int1 & fact3 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> hypothesis;
あのみくみにょLv.74は弛い
fact7 -> int2: 仮にあのぴわぴやLv.71が快くないとすれば気まずいししかもいじましい;
$facts$ = fact1: 快くないモンスターは気まずいしいじましい fact2: もし仮にそのぷにぷなLv.56が吊ればあのみくみにょLv.74は弛い fact3: そのもにゃもよLv.45は弛いということはなくて帰還しない fact4: もし仮に弛くないモンスターが帰還しないならば気まずい fact5: もしもあのぴわぴやLv.71が気まずいならそのぷにぷなLv.56は吊る ; $hypothesis$ = そのもにゃもよLv.45は気まずい ; $proof$ = 
fact4 -> int1: もしそのもにゃもよLv.45が弛くないしそれにそれが帰還するということはないならばそれは気まずい; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> hypothesis; __PROVED__