the pinchgut is not a Steen.
sent1: the fact that the calorimeter is not a Henry and/or it does preserve is not incorrect if the nonparticipant is orthodox. sent2: if the nonparticipant is not orthodox the pinchgut is not a Steen. sent3: the calorimeter is weak thing that downs A-horizon. sent4: the calorimeter is a Henry or is a preserve or both. sent5: if something is not non-weak it is a transmittance. sent6: the calorimeter is not a kind of a transmittance if it is not a kind of a Henry and/or it is a preserve.
void -> assump1: Let's assume that the nonparticipant is orthodox.; sent1 & assump1 -> int1: the calorimeter is not a Henry and/or is a preserve.; int1 & sent6 -> int2: the calorimeter is not a transmittance.; sent5 -> int3: if the calorimeter is weak then it is a transmittance.; sent3 -> int4: the calorimeter is weak.; int3 & int4 -> int5: the calorimeter is a transmittance.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nonparticipant is not orthodox.; int7 & sent2 -> hypothesis;
$hypothesis$ = the pinchgut is not a Steen. ; $context$ = sent1: the fact that the calorimeter is not a Henry and/or it does preserve is not incorrect if the nonparticipant is orthodox. sent2: if the nonparticipant is not orthodox the pinchgut is not a Steen. sent3: the calorimeter is weak thing that downs A-horizon. sent4: the calorimeter is a Henry or is a preserve or both. sent5: if something is not non-weak it is a transmittance. sent6: the calorimeter is not a kind of a transmittance if it is not a kind of a Henry and/or it is a preserve. ; $proof$ = 
void -> assump1: Let's assume that the nonparticipant is orthodox.; sent1 & assump1 -> int1: the calorimeter is not a Henry and/or is a preserve.; int1 & sent6 -> int2: the calorimeter is not a transmittance.; sent5 -> int3: if the calorimeter is weak then it is a transmittance.; sent3 -> int4: the calorimeter is weak.; int3 & int4 -> int5: the calorimeter is a transmittance.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nonparticipant is not orthodox.; int7 & sent2 -> hypothesis; __PROVED__