the nurse is a kind of a prebend.
sent1: the touraco is not yogistic. sent2: that the nurse is non-less a prebend is not right. sent3: the nurse does not ossify and is not cucurbitaceous if the touraco is not yogistic. sent4: if the nurse does not ossify and is not cucurbitaceous then it is not less.
sent3 & sent1 -> int1: the nurse does not ossify and is not cucurbitaceous.; int1 & sent4 -> int2: the nurse is not less.; void -> assump1: Let's assume that the nurse is a prebend.; int2 & assump1 -> int3: the nurse is not less but it is a prebend.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the nurse is a kind of a prebend. ; $context$ = sent1: the touraco is not yogistic. sent2: that the nurse is non-less a prebend is not right. sent3: the nurse does not ossify and is not cucurbitaceous if the touraco is not yogistic. sent4: if the nurse does not ossify and is not cucurbitaceous then it is not less. ; $proof$ = 
sent3 & sent1 -> int1: the nurse does not ossify and is not cucurbitaceous.; int1 & sent4 -> int2: the nurse is not less.; void -> assump1: Let's assume that the nurse is a prebend.; int2 & assump1 -> int3: the nurse is not less but it is a prebend.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__