「そのもねもゆLv.93は得難いということはない」ということは確かである
fact1: そのもねもゆLv.93は紳士らしいならば「そのもねもゆLv.93は得難い」ということは成り立つ fact2: そのもねもゆLv.93は紳士らしい
fact2 -> int1: そのもねもゆLv.93は紳士らしい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: そのもねもゆLv.93は紳士らしいならば「そのもねもゆLv.93は得難い」ということは成り立つ fact2: そのもねもゆLv.93は紳士らしい ; $hypothesis$ = 「そのもねもゆLv.93は得難いということはない」ということは確かである ; $proof$ = 
fact2 -> int1: そのもねもゆLv.93は紳士らしい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__