the spammer steals rearguard.
sent1: the spammer steals rearguard if the ember awakes. sent2: something does not steal rearguard if it is not a kind of a farmer. sent3: if the cloverleaf postulates the fact that it does decolonize spammer is not false. sent4: if the ember does outsail Dushanbe it is awake. sent5: the fact that that the ember is a kind of non-ultramontane a farmer is not true is not wrong if the cloverleaf is not a kind of a farmer. sent6: the cloverleaf is not a farmer if it is not appetitive. sent7: something decolonizes eryngo if it outsails matelote. sent8: the cloverleaf postulates. sent9: the fact that the ember is both a ultramontane and a farmer does not hold. sent10: the millionaire scrams abidance if the ember does scrams abidance. sent11: something that does not scram abidance and does decolonize spammer is not appetitive. sent12: the cloverleaf does not scram abidance but it decolonizes spammer if it is a kind of a postulate. sent13: if that something is both not a ultramontane and a farmer is wrong it does outsail Dushanbe.
sent11 -> int1: if the cloverleaf does not scram abidance and decolonizes spammer then it is not appetitive.; sent12 & sent8 -> int2: the cloverleaf does not scram abidance and decolonizes spammer.; int1 & int2 -> int3: the cloverleaf is not appetitive.; int3 & sent6 -> int4: the cloverleaf is not a kind of a farmer.; int4 & sent5 -> int5: the fact that the ember is not a ultramontane but it is a kind of a farmer is wrong.; sent13 -> int6: if the fact that the ember is not ultramontane but it is a farmer does not hold then it does outsail Dushanbe.; int5 & int6 -> int7: the ember does outsail Dushanbe.; int7 & sent4 -> int8: the ember does awake.; int8 & sent1 -> hypothesis;
the spammer does not steal rearguard.
sent2 -> int9: if the spammer is not a kind of a farmer then it does not steal rearguard.;
$hypothesis$ = the spammer steals rearguard. ; $context$ = sent1: the spammer steals rearguard if the ember awakes. sent2: something does not steal rearguard if it is not a kind of a farmer. sent3: if the cloverleaf postulates the fact that it does decolonize spammer is not false. sent4: if the ember does outsail Dushanbe it is awake. sent5: the fact that that the ember is a kind of non-ultramontane a farmer is not true is not wrong if the cloverleaf is not a kind of a farmer. sent6: the cloverleaf is not a farmer if it is not appetitive. sent7: something decolonizes eryngo if it outsails matelote. sent8: the cloverleaf postulates. sent9: the fact that the ember is both a ultramontane and a farmer does not hold. sent10: the millionaire scrams abidance if the ember does scrams abidance. sent11: something that does not scram abidance and does decolonize spammer is not appetitive. sent12: the cloverleaf does not scram abidance but it decolonizes spammer if it is a kind of a postulate. sent13: if that something is both not a ultramontane and a farmer is wrong it does outsail Dushanbe. ; $proof$ = 
sent11 -> int1: if the cloverleaf does not scram abidance and decolonizes spammer then it is not appetitive.; sent12 & sent8 -> int2: the cloverleaf does not scram abidance and decolonizes spammer.; int1 & int2 -> int3: the cloverleaf is not appetitive.; int3 & sent6 -> int4: the cloverleaf is not a kind of a farmer.; int4 & sent5 -> int5: the fact that the ember is not a ultramontane but it is a kind of a farmer is wrong.; sent13 -> int6: if the fact that the ember is not ultramontane but it is a farmer does not hold then it does outsail Dushanbe.; int5 & int6 -> int7: the ember does outsail Dushanbe.; int7 & sent4 -> int8: the ember does awake.; int8 & sent1 -> hypothesis; __PROVED__