either the transistor does not condemn scarred or it is not a kind of a jungle or both.
sent1: the blade is a lanthanum if the altostratus is informative. sent2: something is informative if it does not stab Skagway. sent3: the oxytocic is not an icing. sent4: if the fact that the phalanx is a kind of a jungle is correct then the transistor does not condemn scarred and/or it is not a jungle. sent5: if the phalanx is not a kind of a jungle then it is not a baobab. sent6: either the transistor does not condemn scarred or it is a jungle or both. sent7: if something is not a jungle it is an icing that is not a baobab. sent8: the phalanx is not an icing.
sent7 -> int1: the fact that if the phalanx is not the jungle the phalanx is an icing but it is not a baobab is not incorrect.; void -> assump1: Let's assume that the phalanx is not a jungle.; int1 & assump1 -> int2: the phalanx is an icing that is not a kind of a baobab.; int2 -> int3: the phalanx does ice.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the phalanx is a jungle.; int5 & sent4 -> hypothesis;
that the transistor does not condemn scarred or is not a jungle or both does not hold.
sent2 -> int6: the altostratus is informative if it does not stab Skagway.;
$hypothesis$ = either the transistor does not condemn scarred or it is not a kind of a jungle or both. ; $context$ = sent1: the blade is a lanthanum if the altostratus is informative. sent2: something is informative if it does not stab Skagway. sent3: the oxytocic is not an icing. sent4: if the fact that the phalanx is a kind of a jungle is correct then the transistor does not condemn scarred and/or it is not a jungle. sent5: if the phalanx is not a kind of a jungle then it is not a baobab. sent6: either the transistor does not condemn scarred or it is a jungle or both. sent7: if something is not a jungle it is an icing that is not a baobab. sent8: the phalanx is not an icing. ; $proof$ = 
sent7 -> int1: the fact that if the phalanx is not the jungle the phalanx is an icing but it is not a baobab is not incorrect.; void -> assump1: Let's assume that the phalanx is not a jungle.; int1 & assump1 -> int2: the phalanx is an icing that is not a kind of a baobab.; int2 -> int3: the phalanx does ice.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the phalanx is a jungle.; int5 & sent4 -> hypothesis; __PROVED__