the sleeper is not a kind of a ENE.
sent1: the sleeper is a Agra if the fact that something does untie but it does not breakfast spring hold. sent2: if the sleeper is a Agra it is not a ENE. sent3: The spring does not breakfast livestock. sent4: the livestock does not breakfast spring. sent5: the livestock unties if it does accept Chipewyan. sent6: the dollhouse is a kind of non-surface-to-air thing that breakfasts microgram. sent7: that that the dollhouse is not surface-to-air but it does breakfast microgram is not wrong does not hold if the livestock does not accept Chipewyan.
void -> assump1: Let's assume that the livestock does not accept Chipewyan.; sent7 & assump1 -> int1: that the dollhouse is non-surface-to-air but it breakfasts microgram is incorrect.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the livestock does accept Chipewyan.; int3 & sent5 -> int4: the fact that the livestock unties hold.; int4 & sent4 -> int5: the livestock does untie and does not breakfast spring.; int5 -> int6: something does untie but it does not breakfast spring.; int6 & sent1 -> int7: the sleeper is a Agra.; int7 & sent2 -> hypothesis;
$hypothesis$ = the sleeper is not a kind of a ENE. ; $context$ = sent1: the sleeper is a Agra if the fact that something does untie but it does not breakfast spring hold. sent2: if the sleeper is a Agra it is not a ENE. sent3: The spring does not breakfast livestock. sent4: the livestock does not breakfast spring. sent5: the livestock unties if it does accept Chipewyan. sent6: the dollhouse is a kind of non-surface-to-air thing that breakfasts microgram. sent7: that that the dollhouse is not surface-to-air but it does breakfast microgram is not wrong does not hold if the livestock does not accept Chipewyan. ; $proof$ = 
void -> assump1: Let's assume that the livestock does not accept Chipewyan.; sent7 & assump1 -> int1: that the dollhouse is non-surface-to-air but it breakfasts microgram is incorrect.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the livestock does accept Chipewyan.; int3 & sent5 -> int4: the fact that the livestock unties hold.; int4 & sent4 -> int5: the livestock does untie and does not breakfast spring.; int5 -> int6: something does untie but it does not breakfast spring.; int6 & sent1 -> int7: the sleeper is a Agra.; int7 & sent2 -> hypothesis; __PROVED__