the accompaniment is a wally.
sent1: something is not a wally or does horripilate stubble or both if it does not reposit honk. sent2: The fact that the overgrowth does not occidentalize child is not incorrect. sent3: The honk does reposit accompaniment. sent4: if that the child does not occidentalize overgrowth is not false then it is not a Asteridae or horripilates myofibril or both. sent5: the child does not horripilate myofibril if the accompaniment horripilates stubble and it does reposit honk. sent6: the accompaniment is genitourinary. sent7: the accompaniment does reposit honk. sent8: something is a wally if it is a kind of a tons. sent9: if that something is not an ingenue and does not reposit Apia is wrong then it is a tons. sent10: if the child is not a Asteridae or it horripilates myofibril or both then it horripilates myofibril. sent11: if the polyester is not a kind of a anthropophagy it does not reposit honk and/or it is an argon. sent12: the fact that something is not a kind of an ingenue and does not reposit Apia is not correct if it does not horripilate stubble.
void -> assump1: Let's assume that the accompaniment horripilates stubble.; assump1 & sent7 -> int1: the accompaniment does horripilate stubble and does reposit honk.; int1 & sent5 -> int2: the child does not horripilate myofibril.; sent12 -> int3: if the accompaniment does not horripilate stubble then that it is not a kind of an ingenue and it does not reposit Apia does not hold.; sent9 -> int4: the accompaniment is a tons if that it is not an ingenue and it does not reposit Apia is not true.; sent8 -> int5: the accompaniment is a wally if it is a tons.;
the accompaniment is not a wally.
sent1 -> int6: if the child does not reposit honk it is not a wally or does horripilate stubble or both.;
$hypothesis$ = the accompaniment is a wally. ; $context$ = sent1: something is not a wally or does horripilate stubble or both if it does not reposit honk. sent2: The fact that the overgrowth does not occidentalize child is not incorrect. sent3: The honk does reposit accompaniment. sent4: if that the child does not occidentalize overgrowth is not false then it is not a Asteridae or horripilates myofibril or both. sent5: the child does not horripilate myofibril if the accompaniment horripilates stubble and it does reposit honk. sent6: the accompaniment is genitourinary. sent7: the accompaniment does reposit honk. sent8: something is a wally if it is a kind of a tons. sent9: if that something is not an ingenue and does not reposit Apia is wrong then it is a tons. sent10: if the child is not a Asteridae or it horripilates myofibril or both then it horripilates myofibril. sent11: if the polyester is not a kind of a anthropophagy it does not reposit honk and/or it is an argon. sent12: the fact that something is not a kind of an ingenue and does not reposit Apia is not correct if it does not horripilate stubble. ; $proof$ = 
void -> assump1: Let's assume that the accompaniment horripilates stubble.; assump1 & sent7 -> int1: the accompaniment does horripilate stubble and does reposit honk.; int1 & sent5 -> int2: the child does not horripilate myofibril.; sent12 -> int3: if the accompaniment does not horripilate stubble then that it is not a kind of an ingenue and it does not reposit Apia does not hold.; sent9 -> int4: the accompaniment is a tons if that it is not an ingenue and it does not reposit Apia is not true.; sent8 -> int5: the accompaniment is a wally if it is a tons.; __UNKNOWN__