そのもちょもなLv.89は阿呆らしくないがしかし荒々しい
fact1: もしこのぷにょぷやLv.20は阿呆らしいとすると「そのもちょもなLv.89は阿呆らしいしそれにそれは荒々しい」ということは間違いである fact2: このぷにょぷやLv.20は切り離し難い fact3: 「そのもちょもなLv.89は阿呆らしいしさらに荒々しい」ということは事実と異なる fact4: このぷにょぷやLv.20は阿呆らしいしさらに切り離し難い fact5: 仮にこのぷにょぷやLv.20は阿呆らしいとしたら「「そのもちょもなLv.89は阿呆らしくないけど荒々しい」ということは成り立つ」ということは誤りだ
fact4 -> int1: このぷにょぷやLv.20は阿呆らしい; int1 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: もしこのぷにょぷやLv.20は阿呆らしいとすると「そのもちょもなLv.89は阿呆らしいしそれにそれは荒々しい」ということは間違いである fact2: このぷにょぷやLv.20は切り離し難い fact3: 「そのもちょもなLv.89は阿呆らしいしさらに荒々しい」ということは事実と異なる fact4: このぷにょぷやLv.20は阿呆らしいしさらに切り離し難い fact5: 仮にこのぷにょぷやLv.20は阿呆らしいとしたら「「そのもちょもなLv.89は阿呆らしくないけど荒々しい」ということは成り立つ」ということは誤りだ ; $hypothesis$ = そのもちょもなLv.89は阿呆らしくないがしかし荒々しい ; $proof$ = 
fact4 -> int1: このぷにょぷやLv.20は阿呆らしい; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__