「「仮に「吝い」ということは確かならば口答えしなくてそれに戻り易い」モンスターはいる」ということは誤っている
fact1: 吝いモンスターは口答えしないが戻り易い fact2: そのまくまちゃLv.29が吝いとするとそのまくまちゃLv.29は口答えするし戻り易い fact3: 「吝いモンスターは口答えするしおまけに戻り易い」ということは確かだ fact4: 「仮にけばけばしいならば赤くなくてその上見窄らしい」モンスターはいる
fact1 -> int1: もし仮に「そのまくまちゃLv.29は吝い」ということは成り立つとすれば口答えしないし戻り易い; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 吝いモンスターは口答えしないが戻り易い fact2: そのまくまちゃLv.29が吝いとするとそのまくまちゃLv.29は口答えするし戻り易い fact3: 「吝いモンスターは口答えするしおまけに戻り易い」ということは確かだ fact4: 「仮にけばけばしいならば赤くなくてその上見窄らしい」モンスターはいる ; $hypothesis$ = 「「仮に「吝い」ということは確かならば口答えしなくてそれに戻り易い」モンスターはいる」ということは誤っている ; $proof$ = 
fact1 -> int1: もし仮に「そのまくまちゃLv.29は吝い」ということは成り立つとすれば口答えしないし戻り易い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__