that if the atom is penetrable then the fact that the pignut is not orthopedic but it strains dermatome does not hold does not hold.
sent1: the atom does strain dermatome. sent2: if the atom is not agricultural that the pignut is orthopedic and it does strain dermatome is not right. sent3: the atom is meaty if there is something such that that it is unproductive but not meaty is not true. sent4: the atom is not meaty if it is agricultural and it is not impenetrable. sent5: there is something such that the fact that it is both unproductive and not meaty does not hold. sent6: a penetrable thing that is not agricultural is a salesperson. sent7: that the pignut is not orthopedic but it does strain dermatome does not hold if the atom is not agricultural.
void -> assump1: Let's assume that the atom is agricultural.; void -> assump2: Let's assume that the atom is penetrable.; assump1 & assump2 -> int1: the atom is agricultural and it is penetrable.; int1 & sent4 -> int2: the atom is not meaty.; sent5 & sent3 -> int3: the atom is meaty.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the atom is not agricultural.; int5 & sent7 -> int6: the fact that the pignut is not orthopedic but it strains dermatome is wrong.; [assump2] & int6 -> hypothesis;
the atom does rekindle Georgian and it is a salesperson.
sent6 -> int7: if the atom is penetrable thing that is not agricultural it is a kind of a salesperson.;
$hypothesis$ = that if the atom is penetrable then the fact that the pignut is not orthopedic but it strains dermatome does not hold does not hold. ; $context$ = sent1: the atom does strain dermatome. sent2: if the atom is not agricultural that the pignut is orthopedic and it does strain dermatome is not right. sent3: the atom is meaty if there is something such that that it is unproductive but not meaty is not true. sent4: the atom is not meaty if it is agricultural and it is not impenetrable. sent5: there is something such that the fact that it is both unproductive and not meaty does not hold. sent6: a penetrable thing that is not agricultural is a salesperson. sent7: that the pignut is not orthopedic but it does strain dermatome does not hold if the atom is not agricultural. ; $proof$ = 
void -> assump1: Let's assume that the atom is agricultural.; void -> assump2: Let's assume that the atom is penetrable.; assump1 & assump2 -> int1: the atom is agricultural and it is penetrable.; int1 & sent4 -> int2: the atom is not meaty.; sent5 & sent3 -> int3: the atom is meaty.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the atom is not agricultural.; int5 & sent7 -> int6: the fact that the pignut is not orthopedic but it strains dermatome is wrong.; [assump2] & int6 -> hypothesis; __DISPROVED__