if the palisade is a rapeseed then the trotter is uncharacteristic.
sent1: the entomologist scrounges and does not crystallize Flaviviridae if the skivvy does not scrounges. sent2: if the entomologist is a kind of a propylene then the skivvy is uncharacteristic. sent3: if something is morbilliform it is a mantle and is not a caboose. sent4: if that the palisade is olfactory but it is not an activation does not hold then it is not a rapeseed. sent5: if the entomologist is a kind of a Lug then the trotter is uncharacteristic. sent6: if that the skivvy does not scrounge is not false then the entomologist scrounge. sent7: the cofactor is not a kind of a teff. sent8: something scrounges and is not infallible if it is not a rapeseed. sent9: the entomologist is a propylene if the trotter is a mantle but it is not a kind of a caboose. sent10: the fact that the entomologist is a Lug is not wrong if it scrounges and it does not crystallize Flaviviridae. sent11: the fact that something is non-planographic thing that is a Gerrhonotus is false if it is not a teff. sent12: if that something is not planographic but it is a Gerrhonotus is incorrect it is not a nephropathy. sent13: the abolitionist is not exothermic and is not morbilliform if the cofactor is not a nephropathy. sent14: the trotter is morbilliform if the abolitionist is both non-exothermic and not morbilliform. sent15: if the skivvy is uncharacteristic the fact that the palisade crystallizes Flaviviridae but it is not a kind of a Lug is incorrect. sent16: if the palisade is a kind of olfactory thing that is not a kind of an activation then the fact that the skivvy does not scrounge is right.
void -> assump2: Let's assume that that the palisade is olfactory thing that is not an activation is not true.; sent4 & assump2 -> int1: the fact that the palisade is not a kind of a rapeseed is not wrong.; void -> assump1: Let's assume that the palisade is a rapeseed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the palisade is both olfactory and not an activation.; int3 & sent16 -> int4: the skivvy does not scrounge.; int4 & sent1 -> int5: the entomologist scrounges but it does not crystallize Flaviviridae.; int5 & sent10 -> int6: the entomologist is a Lug.; int6 & sent5 -> int7: the trotter is uncharacteristic.; [assump1] & int7 -> hypothesis;
the bovid does scrounge but it is not infallible.
sent8 -> int8: the bovid does scrounge but it is fallible if it is not a rapeseed.; sent3 -> int9: if the trotter is morbilliform it mantles and is not a caboose.; sent12 -> int10: the cofactor is not a kind of a nephropathy if that it is both not planographic and a Gerrhonotus is not true.; sent11 -> int11: if the cofactor is not a kind of a teff then the fact that it is not planographic and it is a Gerrhonotus is incorrect.; int11 & sent7 -> int12: the fact that the cofactor is non-planographic a Gerrhonotus is incorrect.; int10 & int12 -> int13: the cofactor is not a nephropathy.; sent13 & int13 -> int14: the abolitionist is both non-exothermic and non-morbilliform.; sent14 & int14 -> int15: that the trotter is morbilliform is not wrong.; int9 & int15 -> int16: the trotter is a mantle but it is not a caboose.; sent9 & int16 -> int17: the entomologist is a kind of a propylene.; sent2 & int17 -> int18: the skivvy is uncharacteristic.; sent15 & int18 -> int19: the fact that the palisade crystallizes Flaviviridae and is not a Lug is incorrect.; int19 -> int20: there is something such that that it does crystallize Flaviviridae and is not a Lug is not correct.;
$hypothesis$ = if the palisade is a rapeseed then the trotter is uncharacteristic. ; $context$ = sent1: the entomologist scrounges and does not crystallize Flaviviridae if the skivvy does not scrounges. sent2: if the entomologist is a kind of a propylene then the skivvy is uncharacteristic. sent3: if something is morbilliform it is a mantle and is not a caboose. sent4: if that the palisade is olfactory but it is not an activation does not hold then it is not a rapeseed. sent5: if the entomologist is a kind of a Lug then the trotter is uncharacteristic. sent6: if that the skivvy does not scrounge is not false then the entomologist scrounge. sent7: the cofactor is not a kind of a teff. sent8: something scrounges and is not infallible if it is not a rapeseed. sent9: the entomologist is a propylene if the trotter is a mantle but it is not a kind of a caboose. sent10: the fact that the entomologist is a Lug is not wrong if it scrounges and it does not crystallize Flaviviridae. sent11: the fact that something is non-planographic thing that is a Gerrhonotus is false if it is not a teff. sent12: if that something is not planographic but it is a Gerrhonotus is incorrect it is not a nephropathy. sent13: the abolitionist is not exothermic and is not morbilliform if the cofactor is not a nephropathy. sent14: the trotter is morbilliform if the abolitionist is both non-exothermic and not morbilliform. sent15: if the skivvy is uncharacteristic the fact that the palisade crystallizes Flaviviridae but it is not a kind of a Lug is incorrect. sent16: if the palisade is a kind of olfactory thing that is not a kind of an activation then the fact that the skivvy does not scrounge is right. ; $proof$ = 
void -> assump2: Let's assume that that the palisade is olfactory thing that is not an activation is not true.; sent4 & assump2 -> int1: the fact that the palisade is not a kind of a rapeseed is not wrong.; void -> assump1: Let's assume that the palisade is a rapeseed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the palisade is both olfactory and not an activation.; int3 & sent16 -> int4: the skivvy does not scrounge.; int4 & sent1 -> int5: the entomologist scrounges but it does not crystallize Flaviviridae.; int5 & sent10 -> int6: the entomologist is a Lug.; int6 & sent5 -> int7: the trotter is uncharacteristic.; [assump1] & int7 -> hypothesis; __PROVED__