that the crag concocts headfast is not wrong.
sent1: if something does not concoct aching and it is not ischemic then it is a Taoist. sent2: if the fact that the headfast is not articulatory hold then it is not a union and not a Afghanistan. sent3: the fact that the headfast is not articulatory is not false. sent4: if something does not rope corruptibility and does not refine it is a census. sent5: if something is Taoist then it concocts headfast. sent6: the crag does not concoct headfast if it is not a Afghanistan. sent7: if the crag is a kind of a monster that the headfast is not articulatory and does concoct aching does not hold. sent8: if the amphitheater is a kind of a monster then the fact that the headfast concocts headfast but it does not concoct aching is not right. sent9: something that is not a kind of a monster does not concoct aching and is not ischemic. sent10: if something is not a Afghanistan and does concoct headfast then it concocts aching. sent11: if the crag is a kind of a monster the fact that the headfast is not a union and it is not a Afghanistan is not correct.
void -> assump1: Let's assume that the crag is a monster.; sent11 & assump1 -> int1: that the headfast is not union and it is not a Afghanistan is false.; sent2 & sent3 -> int2: the headfast is non-union thing that is not a kind of a Afghanistan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crag is not a monster.; sent9 -> int5: the fact that if the crag is not the monster the crag does not concoct aching and is not ischemic is not false.; int4 & int5 -> int6: the crag does not concoct aching and is not ischemic.; sent1 -> int7: the crag is a kind of a Taoist if it does not concoct aching and it is not ischemic.; int6 & int7 -> int8: the crag is Taoist.; sent5 -> int9: if the crag is a Taoist then it does concoct headfast.; int8 & int9 -> hypothesis;
the crag does not concoct headfast.
$hypothesis$ = that the crag concocts headfast is not wrong. ; $context$ = sent1: if something does not concoct aching and it is not ischemic then it is a Taoist. sent2: if the fact that the headfast is not articulatory hold then it is not a union and not a Afghanistan. sent3: the fact that the headfast is not articulatory is not false. sent4: if something does not rope corruptibility and does not refine it is a census. sent5: if something is Taoist then it concocts headfast. sent6: the crag does not concoct headfast if it is not a Afghanistan. sent7: if the crag is a kind of a monster that the headfast is not articulatory and does concoct aching does not hold. sent8: if the amphitheater is a kind of a monster then the fact that the headfast concocts headfast but it does not concoct aching is not right. sent9: something that is not a kind of a monster does not concoct aching and is not ischemic. sent10: if something is not a Afghanistan and does concoct headfast then it concocts aching. sent11: if the crag is a kind of a monster the fact that the headfast is not a union and it is not a Afghanistan is not correct. ; $proof$ = 
void -> assump1: Let's assume that the crag is a monster.; sent11 & assump1 -> int1: that the headfast is not union and it is not a Afghanistan is false.; sent2 & sent3 -> int2: the headfast is non-union thing that is not a kind of a Afghanistan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crag is not a monster.; sent9 -> int5: the fact that if the crag is not the monster the crag does not concoct aching and is not ischemic is not false.; int4 & int5 -> int6: the crag does not concoct aching and is not ischemic.; sent1 -> int7: the crag is a kind of a Taoist if it does not concoct aching and it is not ischemic.; int6 & int7 -> int8: the crag is Taoist.; sent5 -> int9: if the crag is a Taoist then it does concoct headfast.; int8 & int9 -> hypothesis; __PROVED__