「あのぷにぷなLv.98は仰々しいしさらに少なし」ということは成り立たない
fact1: あのぷにぷなLv.98は少なし fact2: あのぷにぷなLv.98は墨書するしまた仰々しい fact3: そのぷちょぷちょLv.57は形成し易いかあるいは仰々しい fact4: 「あのぷにぷなLv.98は墨書する」ということは正しい fact5: このもえもよLv.24は墨書する
fact2 -> int1: あのぷにぷなLv.98は仰々しい; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
このもやもちゃLv.83はごついしかつそれは少なし
$facts$ = fact1: あのぷにぷなLv.98は少なし fact2: あのぷにぷなLv.98は墨書するしまた仰々しい fact3: そのぷちょぷちょLv.57は形成し易いかあるいは仰々しい fact4: 「あのぷにぷなLv.98は墨書する」ということは正しい fact5: このもえもよLv.24は墨書する ; $hypothesis$ = 「あのぷにぷなLv.98は仰々しいしさらに少なし」ということは成り立たない ; $proof$ = 
fact2 -> int1: あのぷにぷなLv.98は仰々しい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__