if the hitchhiker does not trice aunt then the rya is not indissoluble.
sent1: the hitchhiker is a kind of non-heavy thing that is indissoluble if the rya does trice aunt. sent2: if the fact that either something trices duffer or it is not a jadeite or both does not hold it is not anisogamic. sent3: the lumberyard does not dissonate. sent4: the rya is indissoluble. sent5: the rya is indissoluble if the hitchhiker is not a kind of a heavy. sent6: if the hitchhiker is indissoluble the fact that it does trice aunt is right. sent7: that something is a heavy that does not trice aunt is not right if it is not anisogamic. sent8: if the hitchhiker is not a kind of a heavy the rya is not indissoluble. sent9: if the hitchhiker is a heavy it trices aunt. sent10: if the hitchhiker is non-heavy thing that is not non-indissoluble then the Chihuahua is not non-indissoluble. sent11: the rya is anisogamic if the battery is anisogamic. sent12: the rya is not a heavy. sent13: if the lumberyard does not dissonate then that it is a cereal and it is vicinal does not hold. sent14: if the hitchhiker does not trice aunt the rya is indissoluble. sent15: the rya is a metacarpal. sent16: something is anisogamic and it trices duffer if it is not a jadeite. sent17: if that the hitchhiker is not indissoluble is not incorrect the rya is not a heavy. sent18: the hitchhiker is a kind of a Erythroxylon. sent19: the baritone is indissoluble.
void -> assump1: Let's assume that the hitchhiker is a kind of a heavy.; sent9 & assump1 -> int1: the hitchhiker does trice aunt.; void -> assump2: Let's assume that the hitchhiker does not trice aunt.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hitchhiker is not a heavy.; sent8 & int3 -> int4: the rya is not indissoluble.; [assump2] & int4 -> hypothesis;
the Chihuahua is not indissoluble.
sent16 -> int5: the battery is anisogamic thing that does trice duffer if it is not a kind of a jadeite.; sent13 & sent3 -> int6: that the lumberyard is not non-cereal and it is vicinal is not right.; int6 -> int7: there is something such that that the fact that it is a cereal and vicinal is correct is false.;
$hypothesis$ = if the hitchhiker does not trice aunt then the rya is not indissoluble. ; $context$ = sent1: the hitchhiker is a kind of non-heavy thing that is indissoluble if the rya does trice aunt. sent2: if the fact that either something trices duffer or it is not a jadeite or both does not hold it is not anisogamic. sent3: the lumberyard does not dissonate. sent4: the rya is indissoluble. sent5: the rya is indissoluble if the hitchhiker is not a kind of a heavy. sent6: if the hitchhiker is indissoluble the fact that it does trice aunt is right. sent7: that something is a heavy that does not trice aunt is not right if it is not anisogamic. sent8: if the hitchhiker is not a kind of a heavy the rya is not indissoluble. sent9: if the hitchhiker is a heavy it trices aunt. sent10: if the hitchhiker is non-heavy thing that is not non-indissoluble then the Chihuahua is not non-indissoluble. sent11: the rya is anisogamic if the battery is anisogamic. sent12: the rya is not a heavy. sent13: if the lumberyard does not dissonate then that it is a cereal and it is vicinal does not hold. sent14: if the hitchhiker does not trice aunt the rya is indissoluble. sent15: the rya is a metacarpal. sent16: something is anisogamic and it trices duffer if it is not a jadeite. sent17: if that the hitchhiker is not indissoluble is not incorrect the rya is not a heavy. sent18: the hitchhiker is a kind of a Erythroxylon. sent19: the baritone is indissoluble. ; $proof$ = 
void -> assump1: Let's assume that the hitchhiker is a kind of a heavy.; sent9 & assump1 -> int1: the hitchhiker does trice aunt.; void -> assump2: Let's assume that the hitchhiker does not trice aunt.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hitchhiker is not a heavy.; sent8 & int3 -> int4: the rya is not indissoluble.; [assump2] & int4 -> hypothesis; __PROVED__