the broadtail is both nonwashable and genetic.
sent1: the notochord is basidial and is vehicular. sent2: the recording is punic. sent3: the broadtail is not a one-off. sent4: if the recording is not a kind of a shaven but it is punic that it is not necrotic is correct. sent5: the quarreler is a fakir and it is a kind of an athleticism. sent6: the fact that the broadtail is not nonwashable is false if it is not a benefit. sent7: the broadtail is a Onega and a transformer. sent8: the broadtail is nonwashable. sent9: the broadtail is a transformer. sent10: if the broadtail does not benefit it is a kind of nonwashable thing that is genetic. sent11: the broadtail is not a benefit if the recording is not necrotic. sent12: if the recording is a shaven and is a kind of a transformer then the quarreler is not a Geryon. sent13: the broadtail is not a Geryon and is not punic. sent14: the quarreler is not punic. sent15: the quarreler is omnidirectional and a shaven if something is not a transformer. sent16: the fact that something is not washable but genetic is not true if it does not shave. sent17: if the recording is necrotic and it is genetic then the broadtail is not a benefit. sent18: something is not a Geryon and/or it is not a transformer if it is punic. sent19: the recording is not genetic. sent20: the recording is a transformer.
void -> assump1: Let's assume that the recording shaves.; assump1 & sent20 -> int1: the recording does shave and is a transformer.; int1 & sent12 -> int2: the quarreler is not a kind of a Geryon.;
the quarreler is omnidirectional and it is vehicular.
sent13 -> int3: something is not a kind of a Geryon and it is not punic.;
$hypothesis$ = the broadtail is both nonwashable and genetic. ; $context$ = sent1: the notochord is basidial and is vehicular. sent2: the recording is punic. sent3: the broadtail is not a one-off. sent4: if the recording is not a kind of a shaven but it is punic that it is not necrotic is correct. sent5: the quarreler is a fakir and it is a kind of an athleticism. sent6: the fact that the broadtail is not nonwashable is false if it is not a benefit. sent7: the broadtail is a Onega and a transformer. sent8: the broadtail is nonwashable. sent9: the broadtail is a transformer. sent10: if the broadtail does not benefit it is a kind of nonwashable thing that is genetic. sent11: the broadtail is not a benefit if the recording is not necrotic. sent12: if the recording is a shaven and is a kind of a transformer then the quarreler is not a Geryon. sent13: the broadtail is not a Geryon and is not punic. sent14: the quarreler is not punic. sent15: the quarreler is omnidirectional and a shaven if something is not a transformer. sent16: the fact that something is not washable but genetic is not true if it does not shave. sent17: if the recording is necrotic and it is genetic then the broadtail is not a benefit. sent18: something is not a Geryon and/or it is not a transformer if it is punic. sent19: the recording is not genetic. sent20: the recording is a transformer. ; $proof$ = 
void -> assump1: Let's assume that the recording shaves.; assump1 & sent20 -> int1: the recording does shave and is a transformer.; int1 & sent12 -> int2: the quarreler is not a kind of a Geryon.; __UNKNOWN__