そのぴにょぴよLv.82はか弱くない
fact1: あのぴにゅぴわLv.13は判別し難い fact2: このまやまよLv.77は使い辛い fact3: このまやまよLv.77は打ち勝つ fact4: 仮にこのまやまよLv.77が渋いならそのぴにょぴよLv.82はか弱い fact5: もしあのぴにゅぴわLv.13が使い辛いならこのまやまよLv.77は渋い fact6: あのぴにゅぴわLv.13は判別し難いしそれは使い辛い
fact6 -> int1: あのぴにゅぴわLv.13は使い辛い; int1 & fact5 -> int2: 「このまやまよLv.77は渋くない」ということは間違いである; int2 & fact4 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: あのぴにゅぴわLv.13は判別し難い fact2: このまやまよLv.77は使い辛い fact3: このまやまよLv.77は打ち勝つ fact4: 仮にこのまやまよLv.77が渋いならそのぴにょぴよLv.82はか弱い fact5: もしあのぴにゅぴわLv.13が使い辛いならこのまやまよLv.77は渋い fact6: あのぴにゅぴわLv.13は判別し難いしそれは使い辛い ; $hypothesis$ = そのぴにょぴよLv.82はか弱くない ; $proof$ = 
fact6 -> int1: あのぴにゅぴわLv.13は使い辛い; int1 & fact5 -> int2: 「このまやまよLv.77は渋くない」ということは間違いである; int2 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__