そのぷのぷちょLv.96は気怠くらなくてしかも聞き取り易くない
fact1: なんらかのモンスターは荒々しい fact2: 仮になんらかのモンスターは荒々しいとすれば「そのぷのぷちょLv.96は気怠くらなくて聞き取り易いということはない」ということは事実と異なる
fact1 -> int1: なんらかのモンスターは荒々しい; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
$facts$ = fact1: なんらかのモンスターは荒々しい fact2: 仮になんらかのモンスターは荒々しいとすれば「そのぷのぷちょLv.96は気怠くらなくて聞き取り易いということはない」ということは事実と異なる ; $hypothesis$ = そのぷのぷちょLv.96は気怠くらなくてしかも聞き取り易くない ; $proof$ = 
fact1 -> int1: なんらかのモンスターは荒々しい; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __DISPROVED__