あのまよまくLv.22はでかい
fact1: もしあのぷちゅぷねLv.25が仰天するししかもそれが心細いならばあのまよまくLv.22はでかくない fact2: もしこのぴえぴにゃLv.88が怠いとするとあのぷちゅぷねLv.25は仰天する fact3: あのぷちゅぷねLv.25は心細い
$facts$ = fact1: もしあのぷちゅぷねLv.25が仰天するししかもそれが心細いならばあのまよまくLv.22はでかくない fact2: もしこのぴえぴにゃLv.88が怠いとするとあのぷちゅぷねLv.25は仰天する fact3: あのぷちゅぷねLv.25は心細い ; $hypothesis$ = あのまよまくLv.22はでかい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__