if the playgoer is a kind of a shame the strontium is both not a control and not caprine.
sent1: if the fact that the playgoer is a shame is true the strontium is not a control. sent2: that the strontium is a control and non-caprine is incorrect. sent3: if the strontium is a control then the playgoer is not a shame. sent4: the strontium does not control and it is not a shame. sent5: if the fact that the fact that the strontium is not a control and is caprine is correct is not true the playgoer is not a kind of a shame. sent6: the strontium does not control. sent7: that the playgoer does not shame is not wrong if that the strontium is not a control and it is not caprine is incorrect. sent8: if that the strontium is not a control and it is not caprine is false the playgoer does shame. sent9: the playgoer is not a control. sent10: if the strontium is not a kind of a control and it is not caprine then the playgoer is not a kind of a shame. sent11: if the playgoer does shame the strontium is not a kind of a control but it is caprine.
void -> assump2: Let's assume that that that the strontium does not control and is not caprine is incorrect is correct.; sent7 & assump2 -> int1: the playgoer is not a shame.; void -> assump1: Let's assume that the playgoer is a shame.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the strontium is both not a control and not caprine.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the playgoer is a kind of a shame the strontium is both not a control and not caprine. ; $context$ = sent1: if the fact that the playgoer is a shame is true the strontium is not a control. sent2: that the strontium is a control and non-caprine is incorrect. sent3: if the strontium is a control then the playgoer is not a shame. sent4: the strontium does not control and it is not a shame. sent5: if the fact that the fact that the strontium is not a control and is caprine is correct is not true the playgoer is not a kind of a shame. sent6: the strontium does not control. sent7: that the playgoer does not shame is not wrong if that the strontium is not a control and it is not caprine is incorrect. sent8: if that the strontium is not a control and it is not caprine is false the playgoer does shame. sent9: the playgoer is not a control. sent10: if the strontium is not a kind of a control and it is not caprine then the playgoer is not a kind of a shame. sent11: if the playgoer does shame the strontium is not a kind of a control but it is caprine. ; $proof$ = 
void -> assump2: Let's assume that that that the strontium does not control and is not caprine is incorrect is correct.; sent7 & assump2 -> int1: the playgoer is not a shame.; void -> assump1: Let's assume that the playgoer is a shame.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the strontium is both not a control and not caprine.; [assump1] & int3 -> hypothesis; __PROVED__