if the haricot is not undatable then the passerby rips or it is a kind of a gobbler or both.
sent1: the passerby is not a kind of a pesantran if the mugwump is not macrobiotics and is undatable. sent2: the haricot is a pesantran. sent3: the fact that the haricot is not a pesantran is true if the passerby is not undatable but it is a kind of a gobbler. sent4: the haricot is not a gobbler if the passerby is undatable. sent5: the passerby is a gobbler and does tip thievishness if it is not a pesantran. sent6: if the passerby is not conquerable but it is a pesantran the mugwump is not zygodactyl. sent7: the aquatic overuses ratability if it is not a merited. sent8: the passerby is not a ready if the mugwump is not a gobbler but a rip. sent9: the passerby is not conquerable if the haricot is not undatable. sent10: the boulder is not a gobbler. sent11: the mugwump is zygodactyl if the fact that it is macrobiotics is not false. sent12: the mugwump is not parhelic.
void -> assump1: Let's assume that the haricot is not undatable.; sent9 & assump1 -> int1: the passerby is not conquerable.; void -> assump2: Let's assume that the passerby is a kind of a pesantran.; int1 & assump2 -> int2: the passerby is a kind of unconquerable thing that is a kind of a pesantran.; int2 & sent6 -> int3: the mugwump is not zygodactyl.;
$hypothesis$ = if the haricot is not undatable then the passerby rips or it is a kind of a gobbler or both. ; $context$ = sent1: the passerby is not a kind of a pesantran if the mugwump is not macrobiotics and is undatable. sent2: the haricot is a pesantran. sent3: the fact that the haricot is not a pesantran is true if the passerby is not undatable but it is a kind of a gobbler. sent4: the haricot is not a gobbler if the passerby is undatable. sent5: the passerby is a gobbler and does tip thievishness if it is not a pesantran. sent6: if the passerby is not conquerable but it is a pesantran the mugwump is not zygodactyl. sent7: the aquatic overuses ratability if it is not a merited. sent8: the passerby is not a ready if the mugwump is not a gobbler but a rip. sent9: the passerby is not conquerable if the haricot is not undatable. sent10: the boulder is not a gobbler. sent11: the mugwump is zygodactyl if the fact that it is macrobiotics is not false. sent12: the mugwump is not parhelic. ; $proof$ = 
void -> assump1: Let's assume that the haricot is not undatable.; sent9 & assump1 -> int1: the passerby is not conquerable.; void -> assump2: Let's assume that the passerby is a kind of a pesantran.; int1 & assump2 -> int2: the passerby is a kind of unconquerable thing that is a kind of a pesantran.; int2 & sent6 -> int3: the mugwump is not zygodactyl.; __UNKNOWN__