the arthropod is non-Chadian.
sent1: the bookworm is not a kind of a recto if that the wildfowl is a overachiever and it is a narco-state is false. sent2: the enterovirus is a kind of a Chadian. sent3: if something is a Chadian it is a narco-state. sent4: if something is not a recto that it is not a Chadian and it beeps grid is incorrect. sent5: the arthropod is irreplaceable. sent6: the bookworm is a kind of a narco-state if the arthropod beeps grid. sent7: the arthropod is a recto if it is a kind of a Chadian. sent8: something does beep grid if it is a recto.
void -> assump1: Let's assume that the arthropod is Chadian.; sent7 & assump1 -> int1: the arthropod is a kind of a recto.; sent8 -> int2: if that the arthropod is a kind of a recto hold it does beep grid.; int1 & int2 -> int3: the arthropod does beep grid.; int3 & sent6 -> int4: the fact that the bookworm is a narco-state is not wrong.;
the Jainist is a kind of a narco-state.
sent3 -> int5: if the Jainist is Chadian then it is a narco-state.;
$hypothesis$ = the arthropod is non-Chadian. ; $context$ = sent1: the bookworm is not a kind of a recto if that the wildfowl is a overachiever and it is a narco-state is false. sent2: the enterovirus is a kind of a Chadian. sent3: if something is a Chadian it is a narco-state. sent4: if something is not a recto that it is not a Chadian and it beeps grid is incorrect. sent5: the arthropod is irreplaceable. sent6: the bookworm is a kind of a narco-state if the arthropod beeps grid. sent7: the arthropod is a recto if it is a kind of a Chadian. sent8: something does beep grid if it is a recto. ; $proof$ = 
void -> assump1: Let's assume that the arthropod is Chadian.; sent7 & assump1 -> int1: the arthropod is a kind of a recto.; sent8 -> int2: if that the arthropod is a kind of a recto hold it does beep grid.; int1 & int2 -> int3: the arthropod does beep grid.; int3 & sent6 -> int4: the fact that the bookworm is a narco-state is not wrong.; __UNKNOWN__