the consumption is not a Rotarian.
sent1: the waxycap is both a cairn and cadastral. sent2: the consumption is not a Rotarian if it is not pastoral. sent3: something is not a Rotarian if that it deveins Bole and is a kind of a pastoral does not hold. sent4: if a cairn is cadastral then the snowshoe is not synonymous. sent5: that something is cadastral is true.
sent1 -> int1: there exists something such that it is a cairn and it is not non-cadastral.; int1 & sent4 -> int2: the fact that the snowshoe is not synonymous is correct.; sent3 -> int3: the consumption is not a kind of a Rotarian if the fact that it deveins Bole and is pastoral is incorrect.;
$hypothesis$ = the consumption is not a Rotarian. ; $context$ = sent1: the waxycap is both a cairn and cadastral. sent2: the consumption is not a Rotarian if it is not pastoral. sent3: something is not a Rotarian if that it deveins Bole and is a kind of a pastoral does not hold. sent4: if a cairn is cadastral then the snowshoe is not synonymous. sent5: that something is cadastral is true. ; $proof$ = 
sent1 -> int1: there exists something such that it is a cairn and it is not non-cadastral.; int1 & sent4 -> int2: the fact that the snowshoe is not synonymous is correct.; sent3 -> int3: the consumption is not a kind of a Rotarian if the fact that it deveins Bole and is pastoral is incorrect.; __UNKNOWN__