the formal is a kind of a technique if the Beguine is a dosimetry.
sent1: the Beguine does inflect. sent2: if something does inflect then it is a kind of a technique. sent3: the formal is a dosimetry if the Beguine does not inflect. sent4: if the formal does not inflect then either it is cardiopulmonary or it is not a congou or both. sent5: if the formal is not a kind of a congou then the Beguine is not a dosimetry. sent6: the Beguine is not a kind of a dosimetry if the formal is cardiopulmonary.
void -> assump1: Let's assume that the formal does not inflect.; sent4 & assump1 -> int1: the formal is cardiopulmonary or it is not a kind of a congou or both.; int1 & sent6 & sent5 -> int2: the Beguine is not a dosimetry.; void -> assump2: Let's assume that the Beguine is a dosimetry.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the formal inflects.; sent2 -> int5: the formal is a technique if it does inflect.; int4 & int5 -> int6: the formal is a technique.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the formal is a kind of a technique if the Beguine is a dosimetry. ; $context$ = sent1: the Beguine does inflect. sent2: if something does inflect then it is a kind of a technique. sent3: the formal is a dosimetry if the Beguine does not inflect. sent4: if the formal does not inflect then either it is cardiopulmonary or it is not a congou or both. sent5: if the formal is not a kind of a congou then the Beguine is not a dosimetry. sent6: the Beguine is not a kind of a dosimetry if the formal is cardiopulmonary. ; $proof$ = 
void -> assump1: Let's assume that the formal does not inflect.; sent4 & assump1 -> int1: the formal is cardiopulmonary or it is not a kind of a congou or both.; int1 & sent6 & sent5 -> int2: the Beguine is not a dosimetry.; void -> assump2: Let's assume that the Beguine is a dosimetry.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the formal inflects.; sent2 -> int5: the formal is a technique if it does inflect.; int4 & int5 -> int6: the formal is a technique.; [assump2] & int6 -> hypothesis; __PROVED__