「そのもゆもわLv.93は混同し易いしぴんぴんする」ということは嘘である
fact1: 「そのもゆもわLv.93は混同し易い」ということは誤りでない fact2: そのもゆもわLv.93はぴんぴんする
fact1 -> int1: 「そのもゆもわLv.93は混同し易い」ということは誤りでない; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「そのもゆもわLv.93は混同し易い」ということは誤りでない fact2: そのもゆもわLv.93はぴんぴんする ; $hypothesis$ = 「そのもゆもわLv.93は混同し易いしぴんぴんする」ということは嘘である ; $proof$ = 
fact1 -> int1: 「そのもゆもわLv.93は混同し易い」ということは誤りでない; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__