the greaves is infallible.
sent1: the greaves is a benzofuran and it is a desktop if it is not infallible. sent2: something clangors resistor but it does not obey ensemble if it is Ugandan. sent3: if the major is a desktop then it is Ugandan but not shakedown. sent4: everything does premise scone and premises Lophophora. sent5: the major is a kind of a shakedown. sent6: the major is a Ugandan if the greaves is a desktop. sent7: if the greaves is a kind of a desktop then it is a benzofuran and does not clangor resistor. sent8: something clangors resistor if it is a Ugandan. sent9: everything does obey ensemble and is a shakedown.
void -> assump1: Let's assume that the greaves is not infallible.; sent1 & assump1 -> int1: the greaves is a benzofuran and it is a desktop.; int1 -> int2: the greaves is a desktop.; int2 & sent6 -> int3: the major is a Ugandan.; sent2 -> int4: the major does clangor resistor but it does not obey ensemble if it is a Ugandan.; int3 & int4 -> int5: the fact that the major does clangor resistor but it does not obey ensemble hold.; int5 -> int6: the major does not obey ensemble.; sent9 -> int7: the major does obey ensemble and is a shakedown.; int7 -> int8: the major does obey ensemble.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the greaves is infallible. ; $context$ = sent1: the greaves is a benzofuran and it is a desktop if it is not infallible. sent2: something clangors resistor but it does not obey ensemble if it is Ugandan. sent3: if the major is a desktop then it is Ugandan but not shakedown. sent4: everything does premise scone and premises Lophophora. sent5: the major is a kind of a shakedown. sent6: the major is a Ugandan if the greaves is a desktop. sent7: if the greaves is a kind of a desktop then it is a benzofuran and does not clangor resistor. sent8: something clangors resistor if it is a Ugandan. sent9: everything does obey ensemble and is a shakedown. ; $proof$ = 
void -> assump1: Let's assume that the greaves is not infallible.; sent1 & assump1 -> int1: the greaves is a benzofuran and it is a desktop.; int1 -> int2: the greaves is a desktop.; int2 & sent6 -> int3: the major is a Ugandan.; sent2 -> int4: the major does clangor resistor but it does not obey ensemble if it is a Ugandan.; int3 & int4 -> int5: the fact that the major does clangor resistor but it does not obey ensemble hold.; int5 -> int6: the major does not obey ensemble.; sent9 -> int7: the major does obey ensemble and is a shakedown.; int7 -> int8: the major does obey ensemble.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__