あのぴちゅぴいLv.27は信仰深い
fact1: もしあのぴちゅぴいLv.27が喧しいとしたらあのぴちゅぴいLv.27は信仰深い fact2: もしもあのみにゃみのLv.78が物凄まじいならばあのぴちゅぴいLv.27は喧しい fact3: あのみにゃみのLv.78は物凄まじい fact4: 「あのぴちゅぴいLv.27が物凄まじいとしたらあのみにゃみのLv.78は信仰深い」ということは成り立つ
fact2 & fact3 -> int1: あのぴちゅぴいLv.27は喧しい; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあのぴちゅぴいLv.27が喧しいとしたらあのぴちゅぴいLv.27は信仰深い fact2: もしもあのみにゃみのLv.78が物凄まじいならばあのぴちゅぴいLv.27は喧しい fact3: あのみにゃみのLv.78は物凄まじい fact4: 「あのぴちゅぴいLv.27が物凄まじいとしたらあのみにゃみのLv.78は信仰深い」ということは成り立つ ; $hypothesis$ = あのぴちゅぴいLv.27は信仰深い ; $proof$ = 
fact2 & fact3 -> int1: あのぴちゅぴいLv.27は喧しい; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __PROVED__