if the sightreader is electrocardiographic then the billionaire is not a waist and it does not abrade.
sent1: the billionaire does not abrade if the nurser is not unportable and is a kind of a sanction. sent2: the nurser is not electrocardiographic and not a matricide. sent3: the billionaire is not Modern and is not a sanction. sent4: if the sightreader does weld dory and it is electrocardiographic then that the billionaire is not a waist is right. sent5: the nurser is not unportable and it is not a kind of a sanction. sent6: the sightreader is not abbatial and does not abrade. sent7: the billionaire does not abrade if that the nurser is not unportable and it does not sanction is correct. sent8: if the nurser is not a waist and it does not abrade the billionaire is not unportable. sent9: The dory welds sightreader. sent10: the filter does not abrade. sent11: the sightreader is not a waist. sent12: if the nurser is unportable and is not a kind of a sanction then the fact that the billionaire does not abrade hold. sent13: the sightreader welds dory. sent14: the fact that the great welds dory and crystallizes great is correct.
void -> assump1: Let's assume that that the sightreader is electrocardiographic hold.; sent13 & assump1 -> int1: that the sightreader welds dory and it is electrocardiographic is right.; int1 & sent4 -> int2: the billionaire is not a kind of a waist.; sent7 & sent5 -> int3: the billionaire does not abrade.; int2 & int3 -> int4: the billionaire is not a waist and it does not abrade.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the sightreader is electrocardiographic then the billionaire is not a waist and it does not abrade. ; $context$ = sent1: the billionaire does not abrade if the nurser is not unportable and is a kind of a sanction. sent2: the nurser is not electrocardiographic and not a matricide. sent3: the billionaire is not Modern and is not a sanction. sent4: if the sightreader does weld dory and it is electrocardiographic then that the billionaire is not a waist is right. sent5: the nurser is not unportable and it is not a kind of a sanction. sent6: the sightreader is not abbatial and does not abrade. sent7: the billionaire does not abrade if that the nurser is not unportable and it does not sanction is correct. sent8: if the nurser is not a waist and it does not abrade the billionaire is not unportable. sent9: The dory welds sightreader. sent10: the filter does not abrade. sent11: the sightreader is not a waist. sent12: if the nurser is unportable and is not a kind of a sanction then the fact that the billionaire does not abrade hold. sent13: the sightreader welds dory. sent14: the fact that the great welds dory and crystallizes great is correct. ; $proof$ = 
void -> assump1: Let's assume that that the sightreader is electrocardiographic hold.; sent13 & assump1 -> int1: that the sightreader welds dory and it is electrocardiographic is right.; int1 & sent4 -> int2: the billionaire is not a kind of a waist.; sent7 & sent5 -> int3: the billionaire does not abrade.; int2 & int3 -> int4: the billionaire is not a waist and it does not abrade.; [assump1] & int4 -> hypothesis; __PROVED__