the dhole does red-eye if the Lombard is astragalar.
sent1: the Lombard does red-eye. sent2: if something is astragalar then it is an endemic. sent3: if something roofs then the fact that it is a kind of a Milwaukee is true. sent4: the dhole is a representative. sent5: if the Lombard red-eyes then the dhole is astragalar. sent6: the Lombard wears dhole if it rabbets Astor. sent7: if the Lombard conflicts the dhole is not non-astragalar. sent8: something is astragalar if it red-eyes. sent9: the Lombard is a cytogeneticist. sent10: the Lombard red-eyes if the dhole is not non-astragalar. sent11: the dhole conflicts if the Lombard is astragalar. sent12: the Lombard wears dhole. sent13: the dhole is astragalar if it is a kind of a conflicting. sent14: the dhole does red-eye if the Lombard conflicts. sent15: the ballistocardiograph does red-eye. sent16: something red-eyes if it does conflict.
void -> assump1: Let's assume that the Lombard is astragalar.; sent11 & assump1 -> int1: the dhole is a conflicting.; sent16 -> int2: the dhole red-eyes if it is a conflicting.; int1 & int2 -> int3: the fact that the dhole red-eyes is not incorrect.; [assump1] & int3 -> hypothesis;
if the frond is astragalar then it is endemic.
sent2 -> hypothesis;
$hypothesis$ = the dhole does red-eye if the Lombard is astragalar. ; $context$ = sent1: the Lombard does red-eye. sent2: if something is astragalar then it is an endemic. sent3: if something roofs then the fact that it is a kind of a Milwaukee is true. sent4: the dhole is a representative. sent5: if the Lombard red-eyes then the dhole is astragalar. sent6: the Lombard wears dhole if it rabbets Astor. sent7: if the Lombard conflicts the dhole is not non-astragalar. sent8: something is astragalar if it red-eyes. sent9: the Lombard is a cytogeneticist. sent10: the Lombard red-eyes if the dhole is not non-astragalar. sent11: the dhole conflicts if the Lombard is astragalar. sent12: the Lombard wears dhole. sent13: the dhole is astragalar if it is a kind of a conflicting. sent14: the dhole does red-eye if the Lombard conflicts. sent15: the ballistocardiograph does red-eye. sent16: something red-eyes if it does conflict. ; $proof$ = 
void -> assump1: Let's assume that the Lombard is astragalar.; sent11 & assump1 -> int1: the dhole is a conflicting.; sent16 -> int2: the dhole red-eyes if it is a conflicting.; int1 & int2 -> int3: the fact that the dhole red-eyes is not incorrect.; [assump1] & int3 -> hypothesis; __PROVED__