「そのみえみわLv.55は痛ましくてさらに寝静まる」ということは成り立たない
fact1: そのぴにょぴやLv.34が淀み無いならばそのみえみわLv.55は痛ましい fact2: そのぴにょぴやLv.34は淀み無い fact3: そのみえみわLv.55は寝静まる
fact1 & fact2 -> int1: そのみえみわLv.55は痛ましい; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのぴにょぴやLv.34が淀み無いならばそのみえみわLv.55は痛ましい fact2: そのぴにょぴやLv.34は淀み無い fact3: そのみえみわLv.55は寝静まる ; $hypothesis$ = 「そのみえみわLv.55は痛ましくてさらに寝静まる」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: そのみえみわLv.55は痛ましい; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__