このぷくぷにLv.95はすごーくないかまたは痛ましくないかまたはどちらもである
fact1: このぷくぷにLv.95は水っぽいということはないしむず痒くない fact2: このぷくぷにLv.95は水っぽいということはないしむず痒くないとしたらすごーくない
fact2 & fact1 -> int1: このぷくぷにLv.95はすごーくない; int1 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{a}; int1 -> hypothesis;
$facts$ = fact1: このぷくぷにLv.95は水っぽいということはないしむず痒くない fact2: このぷくぷにLv.95は水っぽいということはないしむず痒くないとしたらすごーくない ; $hypothesis$ = このぷくぷにLv.95はすごーくないかまたは痛ましくないかまたはどちらもである ; $proof$ = 
fact2 & fact1 -> int1: このぷくぷにLv.95はすごーくない; int1 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ¬{B}{a}; int1 -> hypothesis; __PROVED__