if that the planetesimal is non-cerebral and is not a Kingston does not hold then the trapshooter is not cryonic.
sent1: if the planetesimal is not cerebral and it is not a kind of a Kingston the trapshooter is non-cryonic. sent2: either something is cerebral or it is not a Kingston or both. sent3: there is something such that that it is a ginger or non-indexless or both does not hold. sent4: the planetesimal is not cerebral and it is not a Kingston if the trapshooter is not a kind of a Kingston. sent5: the planetesimal is not cerebral but it is a Kingston. sent6: if the fact that the fact that the planetesimal is non-cerebral and is a Kingston is not incorrect is not right then the trapshooter is not cryonic. sent7: there is something such that that it is indexless hold. sent8: the planetesimal is a kind of a Kingston. sent9: the trapshooter laughs if there is something such that that it is a kind of a ginger and/or is not indexless is incorrect. sent10: if the planetesimal is cerebral the trapshooter is not cryonic. sent11: that the planetesimal is cerebral but it is not a Kingston is incorrect.
sent3 & sent9 -> int1: the trapshooter is a kind of a laughing.; void -> assump2: Let's assume that the trapshooter is cryonic.; int1 & assump2 -> int2: the trapshooter does laugh and it is cryonic.;
$hypothesis$ = if that the planetesimal is non-cerebral and is not a Kingston does not hold then the trapshooter is not cryonic. ; $context$ = sent1: if the planetesimal is not cerebral and it is not a kind of a Kingston the trapshooter is non-cryonic. sent2: either something is cerebral or it is not a Kingston or both. sent3: there is something such that that it is a ginger or non-indexless or both does not hold. sent4: the planetesimal is not cerebral and it is not a Kingston if the trapshooter is not a kind of a Kingston. sent5: the planetesimal is not cerebral but it is a Kingston. sent6: if the fact that the fact that the planetesimal is non-cerebral and is a Kingston is not incorrect is not right then the trapshooter is not cryonic. sent7: there is something such that that it is indexless hold. sent8: the planetesimal is a kind of a Kingston. sent9: the trapshooter laughs if there is something such that that it is a kind of a ginger and/or is not indexless is incorrect. sent10: if the planetesimal is cerebral the trapshooter is not cryonic. sent11: that the planetesimal is cerebral but it is not a Kingston is incorrect. ; $proof$ = 
sent3 & sent9 -> int1: the trapshooter is a kind of a laughing.; void -> assump2: Let's assume that the trapshooter is cryonic.; int1 & assump2 -> int2: the trapshooter does laugh and it is cryonic.; __UNKNOWN__