そのぴいぴいLv.18は重々しい
fact1: そのぴいぴいLv.18は塩辛くてかつ座禅する fact2: 仮にそのぴいぴいLv.18が座禅すればそのぴいぴいLv.18は重々しい fact3: そのぴいぴいLv.18は塩辛い fact4: 「このもゆもにょLv.11は座禅しないけれど重々しい」ということは成り立たないとしたら「そのぴいぴいLv.18は重々しくない」ということは事実だ
fact1 -> int1: そのぴいぴいLv.18は座禅する; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
そのぴいぴいLv.18は重々しいということはない
$facts$ = fact1: そのぴいぴいLv.18は塩辛くてかつ座禅する fact2: 仮にそのぴいぴいLv.18が座禅すればそのぴいぴいLv.18は重々しい fact3: そのぴいぴいLv.18は塩辛い fact4: 「このもゆもにょLv.11は座禅しないけれど重々しい」ということは成り立たないとしたら「そのぴいぴいLv.18は重々しくない」ということは事実だ ; $hypothesis$ = そのぴいぴいLv.18は重々しい ; $proof$ = 
fact1 -> int1: そのぴいぴいLv.18は座禅する; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__