the Creation is upper-class.
sent1: the fact that that something is a Limnodromus and it concocts hawk's-beard is not false is false if it is not a guerrilla. sent2: something is an adhesive and it dynamites. sent3: there exists something such that it is a kind of a dynamite. sent4: if that the cytoplasm is a Limnodromus that concocts hawk's-beard is not right the Creation is not upper-class. sent5: the cytoplasm is not a kind of a guerrilla if something is both not nonadhesive and a dynamite.
sent2 & sent5 -> int1: the cytoplasm is not a guerrilla.; sent1 -> int2: the fact that the cytoplasm is a Limnodromus and it concocts hawk's-beard does not hold if the fact that it is not a guerrilla is correct.; int1 & int2 -> int3: the fact that the cytoplasm is a kind of a Limnodromus and it does concoct hawk's-beard is not right.; int3 & sent4 -> hypothesis;
$hypothesis$ = the Creation is upper-class. ; $context$ = sent1: the fact that that something is a Limnodromus and it concocts hawk's-beard is not false is false if it is not a guerrilla. sent2: something is an adhesive and it dynamites. sent3: there exists something such that it is a kind of a dynamite. sent4: if that the cytoplasm is a Limnodromus that concocts hawk's-beard is not right the Creation is not upper-class. sent5: the cytoplasm is not a kind of a guerrilla if something is both not nonadhesive and a dynamite. ; $proof$ = 
sent2 & sent5 -> int1: the cytoplasm is not a guerrilla.; sent1 -> int2: the fact that the cytoplasm is a Limnodromus and it concocts hawk's-beard does not hold if the fact that it is not a guerrilla is correct.; int1 & int2 -> int3: the fact that the cytoplasm is a kind of a Limnodromus and it does concoct hawk's-beard is not right.; int3 & sent4 -> hypothesis; __DISPROVED__