the superintendent is not a Mortimer.
sent1: the fact that the antiquity does unionize Bernhardt hold. sent2: if the spodumene unionizes afghani the fact that the antiquity does sneer Enid and does not unionizes afghani is wrong. sent3: the antiquity does not unionize Bernhardt if the fact that it sneers Enid and it does not unionize afghani does not hold. sent4: if something is a bruxism and is a kind of a Mortimer then the spodumene does unionize afghani. sent5: The fact that the Bernhardt does unionize antiquity hold. sent6: the superintendent is a kind of a bruxism and is not a pentylenetetrazol.
sent6 -> int1: the superintendent is a kind of a bruxism.; void -> assump1: Let's assume that the superintendent is a Mortimer.; int1 & assump1 -> int2: the superintendent is a kind of a bruxism and it is a Mortimer.; int2 -> int3: there is something such that it is a kind of a bruxism that is a Mortimer.; int3 & sent4 -> int4: the spodumene unionizes afghani.; int4 & sent2 -> int5: the fact that the antiquity sneers Enid and does not unionize afghani is wrong.; int5 & sent3 -> int6: the antiquity does not unionize Bernhardt.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the superintendent is not a Mortimer. ; $context$ = sent1: the fact that the antiquity does unionize Bernhardt hold. sent2: if the spodumene unionizes afghani the fact that the antiquity does sneer Enid and does not unionizes afghani is wrong. sent3: the antiquity does not unionize Bernhardt if the fact that it sneers Enid and it does not unionize afghani does not hold. sent4: if something is a bruxism and is a kind of a Mortimer then the spodumene does unionize afghani. sent5: The fact that the Bernhardt does unionize antiquity hold. sent6: the superintendent is a kind of a bruxism and is not a pentylenetetrazol. ; $proof$ = 
sent6 -> int1: the superintendent is a kind of a bruxism.; void -> assump1: Let's assume that the superintendent is a Mortimer.; int1 & assump1 -> int2: the superintendent is a kind of a bruxism and it is a Mortimer.; int2 -> int3: there is something such that it is a kind of a bruxism that is a Mortimer.; int3 & sent4 -> int4: the spodumene unionizes afghani.; int4 & sent2 -> int5: the fact that the antiquity sneers Enid and does not unionize afghani is wrong.; int5 & sent3 -> int6: the antiquity does not unionize Bernhardt.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__