the slinger is ipsilateral.
sent1: the slinger is ipsilateral and it is a kind of a reach if the coat does not lord. sent2: the slinger does riff. sent3: the snail lords. sent4: if the slinger is either not a zapper or not an abdominal or both it is not ipsilateral. sent5: the fact that the snail does not lord if there is something such that that it is a revoke and it is not high-resolution is incorrect is true. sent6: that the copy is not a kind of an abdominal hold. sent7: if the slinger is not a kind of a reach that the coat is a revoke that is not high-resolution is false. sent8: if the slinger does reach then it is not a zapper. sent9: if the fact that something is a zapper and is not a kind of a icepick is incorrect then it is not an abdominal. sent10: if that something is an abdominal and lords is incorrect then it does not lords.
void -> assump1: Let's assume that the slinger is not a kind of a reach.; sent7 & assump1 -> int1: the fact that the coat revokes but it is not high-resolution is wrong.; int1 -> int2: there exists something such that that it is a kind of a revoke that is not high-resolution is incorrect.; int2 & sent5 -> int3: the snail does not lord.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slinger is a reach.; int5 & sent8 -> int6: the slinger is not a zapper.; int6 -> int7: the slinger is not a zapper or it is not a kind of an abdominal or both.; int7 & sent4 -> hypothesis;
the slinger is ipsilateral.
sent10 -> int8: the coat does not lord if that it is a kind of an abdominal and lord is not true.; sent9 -> int9: if that the snail is a zapper but it is not a icepick is false that it is not an abdominal is true.;
$hypothesis$ = the slinger is ipsilateral. ; $context$ = sent1: the slinger is ipsilateral and it is a kind of a reach if the coat does not lord. sent2: the slinger does riff. sent3: the snail lords. sent4: if the slinger is either not a zapper or not an abdominal or both it is not ipsilateral. sent5: the fact that the snail does not lord if there is something such that that it is a revoke and it is not high-resolution is incorrect is true. sent6: that the copy is not a kind of an abdominal hold. sent7: if the slinger is not a kind of a reach that the coat is a revoke that is not high-resolution is false. sent8: if the slinger does reach then it is not a zapper. sent9: if the fact that something is a zapper and is not a kind of a icepick is incorrect then it is not an abdominal. sent10: if that something is an abdominal and lords is incorrect then it does not lords. ; $proof$ = 
void -> assump1: Let's assume that the slinger is not a kind of a reach.; sent7 & assump1 -> int1: the fact that the coat revokes but it is not high-resolution is wrong.; int1 -> int2: there exists something such that that it is a kind of a revoke that is not high-resolution is incorrect.; int2 & sent5 -> int3: the snail does not lord.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slinger is a reach.; int5 & sent8 -> int6: the slinger is not a zapper.; int6 -> int7: the slinger is not a zapper or it is not a kind of an abdominal or both.; int7 & sent4 -> hypothesis; __DISPROVED__