「あのもよもにLv.7は上り易いしまた重たい」ということは嘘である
fact1: もしもこのぷなぷにLv.85が微増すればこのぷなぷにLv.85は格好しないしまたそれはもどかしくない fact2: もしも「重たくない」モンスターはいるとすると「「あのもよもにLv.7は上り易くて加えて重たい」ということは事実である」ということは成り立つということはない fact3: 「あのもゆもにょLv.4は論う一方でそれは格好するということはない」ということは間違いであるとするとこのぷなぷにLv.85は重たくない fact4: あのもよもにLv.7は重たい fact5: このぷなぷにLv.85は論う fact6: もしもこのぷなぷにLv.85が論うとすればあのもよもにLv.7は上り易い fact7: もし仮になにがしかのモンスターが論うとすればそれは上り易い
fact6 & fact5 -> int1: あのもよもにLv.7は上り易い; int1 & fact4 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
「あのもよもにLv.7は上り易いしまた重たい」ということは嘘である
$facts$ = fact1: もしもこのぷなぷにLv.85が微増すればこのぷなぷにLv.85は格好しないしまたそれはもどかしくない fact2: もしも「重たくない」モンスターはいるとすると「「あのもよもにLv.7は上り易くて加えて重たい」ということは事実である」ということは成り立つということはない fact3: 「あのもゆもにょLv.4は論う一方でそれは格好するということはない」ということは間違いであるとするとこのぷなぷにLv.85は重たくない fact4: あのもよもにLv.7は重たい fact5: このぷなぷにLv.85は論う fact6: もしもこのぷなぷにLv.85が論うとすればあのもよもにLv.7は上り易い fact7: もし仮になにがしかのモンスターが論うとすればそれは上り易い ; $hypothesis$ = 「あのもよもにLv.7は上り易いしまた重たい」ということは嘘である ; $proof$ = 
fact6 & fact5 -> int1: あのもよもにLv.7は上り易い; int1 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: {B}{b}; int1 & fact4 -> hypothesis; __DISPROVED__