the palladium is not a kind of a cockerel if the carriageway does not stale quasar.
sent1: if the fact that something smashes Tertiary and/or it is not a flavorer is not right it does not stale diminution. sent2: if the quasar does not stale quasar then the carriageway is not profitable. sent3: the fact that the carriageway stales diminution is not incorrect. sent4: the carriageway does not smash Tertiary if the fact that it does stale quasar or it is a research or both is not correct. sent5: the diminution does smash Tertiary. sent6: if the palladium is a kind of unprofitable thing that does not stale diminution the quasar is a cockerel. sent7: the palladium does research. sent8: if the carriageway does not smash Tertiary then the palladium stales quasar. sent9: if the quasar is unprofitable and it does not stale quasar the carriageway does smash Tertiary. sent10: that either the palladium does smash Tertiary or it is not a flavorer or both does not hold if that it is a cockerel is not wrong. sent11: if the palladium does not stale diminution the quasar is both not a research and unprofitable. sent12: the quasar does not smash Tertiary. sent13: the quasar is not profitable. sent14: the quasar stales diminution. sent15: if the quasar does not research and it is not profitable the carriageway does stale quasar.
void -> assump1: Let's assume that the palladium is a cockerel.; sent10 & assump1 -> int1: that the palladium does smash Tertiary and/or is not a flavorer is wrong.; sent1 -> int2: if the fact that the palladium smashes Tertiary and/or is not a flavorer is not right it does not stale diminution.; int1 & int2 -> int3: the palladium does not stale diminution.; int3 & sent11 -> int4: the quasar does not research and it is not profitable.; int4 & sent15 -> int5: the carriageway stales quasar.; void -> assump2: Let's assume that the carriageway does not stale quasar.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the palladium is not a kind of a cockerel.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the palladium is not a kind of a cockerel if the carriageway does not stale quasar. ; $context$ = sent1: if the fact that something smashes Tertiary and/or it is not a flavorer is not right it does not stale diminution. sent2: if the quasar does not stale quasar then the carriageway is not profitable. sent3: the fact that the carriageway stales diminution is not incorrect. sent4: the carriageway does not smash Tertiary if the fact that it does stale quasar or it is a research or both is not correct. sent5: the diminution does smash Tertiary. sent6: if the palladium is a kind of unprofitable thing that does not stale diminution the quasar is a cockerel. sent7: the palladium does research. sent8: if the carriageway does not smash Tertiary then the palladium stales quasar. sent9: if the quasar is unprofitable and it does not stale quasar the carriageway does smash Tertiary. sent10: that either the palladium does smash Tertiary or it is not a flavorer or both does not hold if that it is a cockerel is not wrong. sent11: if the palladium does not stale diminution the quasar is both not a research and unprofitable. sent12: the quasar does not smash Tertiary. sent13: the quasar is not profitable. sent14: the quasar stales diminution. sent15: if the quasar does not research and it is not profitable the carriageway does stale quasar. ; $proof$ = 
void -> assump1: Let's assume that the palladium is a cockerel.; sent10 & assump1 -> int1: that the palladium does smash Tertiary and/or is not a flavorer is wrong.; sent1 -> int2: if the fact that the palladium smashes Tertiary and/or is not a flavorer is not right it does not stale diminution.; int1 & int2 -> int3: the palladium does not stale diminution.; int3 & sent11 -> int4: the quasar does not research and it is not profitable.; int4 & sent15 -> int5: the carriageway stales quasar.; void -> assump2: Let's assume that the carriageway does not stale quasar.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the palladium is not a kind of a cockerel.; [assump2] & int7 -> hypothesis; __PROVED__