that there is something such that if it is a kind of a cloister then it sniffs Stanleya is incorrect.
sent1: if something is not pyretic and it does not empty T-square it sniffs Stanleya. sent2: the cape is not a kind of an agglomerate. sent3: the heterocyclic is not a Alhazen if the longboat is not counterrevolutionary or it is not an agglomerate or both. sent4: if the longboat is a cloister it is non-pyretic thing that does not empty T-square. sent5: the DSL is a kind of a cloister.
void -> assump1: Let's assume that the longboat cloisters.; sent4 & assump1 -> int1: the longboat is a kind of non-pyretic thing that does not empty T-square.; sent1 -> int2: if the longboat is not pyretic and it does not empty T-square it sniffs Stanleya.; int1 & int2 -> int3: the longboat does sniff Stanleya.; [assump1] & int3 -> int4: if the longboat does cloister it sniffs Stanleya.; int4 -> hypothesis;
the heterocyclic is not a kind of a Alhazen and it is not a disobedience.
sent2 -> int5: there exists something such that it is not an agglomerate.;
$hypothesis$ = that there is something such that if it is a kind of a cloister then it sniffs Stanleya is incorrect. ; $context$ = sent1: if something is not pyretic and it does not empty T-square it sniffs Stanleya. sent2: the cape is not a kind of an agglomerate. sent3: the heterocyclic is not a Alhazen if the longboat is not counterrevolutionary or it is not an agglomerate or both. sent4: if the longboat is a cloister it is non-pyretic thing that does not empty T-square. sent5: the DSL is a kind of a cloister. ; $proof$ = 
void -> assump1: Let's assume that the longboat cloisters.; sent4 & assump1 -> int1: the longboat is a kind of non-pyretic thing that does not empty T-square.; sent1 -> int2: if the longboat is not pyretic and it does not empty T-square it sniffs Stanleya.; int1 & int2 -> int3: the longboat does sniff Stanleya.; [assump1] & int3 -> int4: if the longboat does cloister it sniffs Stanleya.; int4 -> hypothesis; __DISPROVED__