the tapir is aldermanic and it sights requital.
sent1: the defile is aldermanic and it is a kind of a narrowing. sent2: the defile is a narrowing. sent3: the tapir is aldermanic if the defile is a narrowing but it does not groove galley. sent4: if the fact that the defile does not flump is correct the fact that the tapir is aldermanic and sights requital is not true. sent5: that the defile is a kind of a narrowing but it does not groove galley is right. sent6: everything sights requital. sent7: something is consular thing that does not flump if it is a Nazarene. sent8: the defile does not flump if the galley is consular but it does not flump. sent9: the nine-spot is a narrowing.
sent3 & sent5 -> int1: the tapir is aldermanic.; sent6 -> int2: the tapir sights requital.; int1 & int2 -> hypothesis;
that the tapir is aldermanic and sights requital does not hold.
sent7 -> int3: if the galley is Nazarene it is consular and does not flump.;
$hypothesis$ = the tapir is aldermanic and it sights requital. ; $context$ = sent1: the defile is aldermanic and it is a kind of a narrowing. sent2: the defile is a narrowing. sent3: the tapir is aldermanic if the defile is a narrowing but it does not groove galley. sent4: if the fact that the defile does not flump is correct the fact that the tapir is aldermanic and sights requital is not true. sent5: that the defile is a kind of a narrowing but it does not groove galley is right. sent6: everything sights requital. sent7: something is consular thing that does not flump if it is a Nazarene. sent8: the defile does not flump if the galley is consular but it does not flump. sent9: the nine-spot is a narrowing. ; $proof$ = 
sent3 & sent5 -> int1: the tapir is aldermanic.; sent6 -> int2: the tapir sights requital.; int1 & int2 -> hypothesis; __PROVED__