if the lory is a spume the Sotho does not slug rhesus and does not slug immolation.
sent1: the lory does not brazen Sotho but it is a kind of a Ramphastidae. sent2: the Sotho does slug immolation if it does not encourage leadership or is not micrometeoritic or both. sent3: the Sotho does not encourage leadership and slugs immolation. sent4: something does not slug immolation if it does slug epithalamium. sent5: that the lory does not slug rhesus and does not slug immolation is not incorrect if the Sotho is micrometeoritic. sent6: the lory does not brazen burdened if that it does override Toronto is correct. sent7: the Sotho does not slug rhesus but it slugs immolation if the lory is a spume. sent8: if the lory is not micrometeoritic the Sotho does not slug epithalamium and is micrometeoritic. sent9: the Sotho does not slug epithalamium but it is micrometeoritic if the lory is not micrometeoritic. sent10: if the lory does not slug immolation the Sotho does not slug rhesus and does not slug immolation. sent11: if the lory does not encourage leadership and/or is not micrometeoritic it slugs epithalamium. sent12: something does not slug rhesus if it slugs immolation. sent13: the lory is a salpinx if it is not maxillodental and/or it does not brazen Sotho. sent14: if something encourages leadership it does not slug rhesus. sent15: the Sotho does not slug epithalamium. sent16: the Sotho does not slug rhesus if the lory does not slug immolation. sent17: if the fact that the lory slugs rhesus is not false then it either does not slug epithalamium or is not a kind of a spume or both. sent18: the fact that if the lory does not slug immolation then the Sotho does not slug rhesus but it does slug immolation is right. sent19: the lory either does not encourage leadership or is not micrometeoritic or both if it is a spume.
void -> assump1: Let's assume that the lory is a kind of a spume.; sent19 & assump1 -> int1: the lory does not encourage leadership or it is not micrometeoritic or both.; int1 & sent11 -> int2: that the lory does slug epithalamium is not wrong.; sent4 -> int3: the lory does not slug immolation if it does slug epithalamium.; int2 & int3 -> int4: the lory does not slug immolation.; int4 & sent10 -> int5: the Sotho does not slug rhesus and does not slug immolation.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the lory is a spume the Sotho does not slug rhesus and does not slug immolation. ; $context$ = sent1: the lory does not brazen Sotho but it is a kind of a Ramphastidae. sent2: the Sotho does slug immolation if it does not encourage leadership or is not micrometeoritic or both. sent3: the Sotho does not encourage leadership and slugs immolation. sent4: something does not slug immolation if it does slug epithalamium. sent5: that the lory does not slug rhesus and does not slug immolation is not incorrect if the Sotho is micrometeoritic. sent6: the lory does not brazen burdened if that it does override Toronto is correct. sent7: the Sotho does not slug rhesus but it slugs immolation if the lory is a spume. sent8: if the lory is not micrometeoritic the Sotho does not slug epithalamium and is micrometeoritic. sent9: the Sotho does not slug epithalamium but it is micrometeoritic if the lory is not micrometeoritic. sent10: if the lory does not slug immolation the Sotho does not slug rhesus and does not slug immolation. sent11: if the lory does not encourage leadership and/or is not micrometeoritic it slugs epithalamium. sent12: something does not slug rhesus if it slugs immolation. sent13: the lory is a salpinx if it is not maxillodental and/or it does not brazen Sotho. sent14: if something encourages leadership it does not slug rhesus. sent15: the Sotho does not slug epithalamium. sent16: the Sotho does not slug rhesus if the lory does not slug immolation. sent17: if the fact that the lory slugs rhesus is not false then it either does not slug epithalamium or is not a kind of a spume or both. sent18: the fact that if the lory does not slug immolation then the Sotho does not slug rhesus but it does slug immolation is right. sent19: the lory either does not encourage leadership or is not micrometeoritic or both if it is a spume. ; $proof$ = 
void -> assump1: Let's assume that the lory is a kind of a spume.; sent19 & assump1 -> int1: the lory does not encourage leadership or it is not micrometeoritic or both.; int1 & sent11 -> int2: that the lory does slug epithalamium is not wrong.; sent4 -> int3: the lory does not slug immolation if it does slug epithalamium.; int2 & int3 -> int4: the lory does not slug immolation.; int4 & sent10 -> int5: the Sotho does not slug rhesus and does not slug immolation.; [assump1] & int5 -> hypothesis; __PROVED__