the exudation is a kind of an explosive.
sent1: that the garrison is not non-malodorous is true. sent2: everything implies blade and is malodorous. sent3: that something does not imply Identikit and it is not an explosive is true if it does not imply blade. sent4: everything is malodorous. sent5: if that the man-of-the-earth is not a million and it does not superscribe Kama does not hold the exudation implies Identikit. sent6: the fact that the man-of-the-earth is not a million and it does not superscribe Kama does not hold. sent7: the garrison does not imply blade if the exudation does imply Identikit but it is not an explosive. sent8: if the man-of-the-earth does superscribe Kama then the exudation does imply Identikit. sent9: that the man-of-the-earth is not a kind of a million but it superscribes Kama does not hold.
sent5 & sent6 -> int1: the exudation implies Identikit.; void -> assump1: Let's assume that the exudation is not a kind of an explosive.; int1 & assump1 -> int2: the exudation does imply Identikit and is not an explosive.; int2 & sent7 -> int3: the garrison does not imply blade.; sent2 -> int4: the garrison implies blade and is malodorous.; int4 -> int5: the garrison does imply blade.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the exudation is not explosive.
sent3 -> int7: the exudation does not imply Identikit and is not an explosive if that it does not imply blade is correct.;
$hypothesis$ = the exudation is a kind of an explosive. ; $context$ = sent1: that the garrison is not non-malodorous is true. sent2: everything implies blade and is malodorous. sent3: that something does not imply Identikit and it is not an explosive is true if it does not imply blade. sent4: everything is malodorous. sent5: if that the man-of-the-earth is not a million and it does not superscribe Kama does not hold the exudation implies Identikit. sent6: the fact that the man-of-the-earth is not a million and it does not superscribe Kama does not hold. sent7: the garrison does not imply blade if the exudation does imply Identikit but it is not an explosive. sent8: if the man-of-the-earth does superscribe Kama then the exudation does imply Identikit. sent9: that the man-of-the-earth is not a kind of a million but it superscribes Kama does not hold. ; $proof$ = 
sent5 & sent6 -> int1: the exudation implies Identikit.; void -> assump1: Let's assume that the exudation is not a kind of an explosive.; int1 & assump1 -> int2: the exudation does imply Identikit and is not an explosive.; int2 & sent7 -> int3: the garrison does not imply blade.; sent2 -> int4: the garrison implies blade and is malodorous.; int4 -> int5: the garrison does imply blade.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__