that the ride is a kind of a corporatist or it greases hymenopteran or both is not true.
sent1: that something is a kind of a corporatist and/or it does grease hymenopteran does not hold if that that it greases smilax is not right is not false. sent2: the barrels does not grease smilax and is semi-tuberous. sent3: if the barrels is semi-tuberous the ride greases hymenopteran.
sent2 -> int1: the barrels is semi-tuberous.; sent3 & int1 -> int2: the fact that the ride does grease hymenopteran is true.; int2 -> hypothesis;
the fact that the ride is corporatist or it does grease hymenopteran or both is not correct.
sent1 -> int3: if the fact that the ride does not grease smilax is not false that it is corporatist or does grease hymenopteran or both is false.;
$hypothesis$ = that the ride is a kind of a corporatist or it greases hymenopteran or both is not true. ; $context$ = sent1: that something is a kind of a corporatist and/or it does grease hymenopteran does not hold if that that it greases smilax is not right is not false. sent2: the barrels does not grease smilax and is semi-tuberous. sent3: if the barrels is semi-tuberous the ride greases hymenopteran. ; $proof$ = 
sent2 -> int1: the barrels is semi-tuberous.; sent3 & int1 -> int2: the fact that the ride does grease hymenopteran is true.; int2 -> hypothesis; __DISPROVED__