「あのぷにぷちゅLv.91は発生し難くてそれに注意深い」ということは誤っている
fact1: もしそのぴにゅぴくLv.58が喧しくてさらにそれが上積みすればあのぷにぷちゅLv.91は乾き切るということはない fact2: もしも「あのぷにぷちゅLv.91は乾き切らない」ということは事実ならば「それは発生し難くて注意深い」ということは成り立たない fact3: そのぴにゅぴくLv.58は上積みする fact4: そのぴにゅぴくLv.58は喧しい
fact4 & fact3 -> int1: そのぴにゅぴくLv.58は喧しいしそれは上積みする; int1 & fact1 -> int2: あのぷにぷちゅLv.91は乾き切らない; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: もしそのぴにゅぴくLv.58が喧しくてさらにそれが上積みすればあのぷにぷちゅLv.91は乾き切るということはない fact2: もしも「あのぷにぷちゅLv.91は乾き切らない」ということは事実ならば「それは発生し難くて注意深い」ということは成り立たない fact3: そのぴにゅぴくLv.58は上積みする fact4: そのぴにゅぴくLv.58は喧しい ; $hypothesis$ = 「あのぷにぷちゅLv.91は発生し難くてそれに注意深い」ということは誤っている ; $proof$ = 
fact4 & fact3 -> int1: そのぴにゅぴくLv.58は喧しいしそれは上積みする; int1 & fact1 -> int2: あのぷにぷちゅLv.91は乾き切らない; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis; __PROVED__