the trophozoite deaminates fluorescence.
sent1: the trophozoite does deaminate fluorescence if the celandine does not deaminate Moselle and does not tunnel litmus. sent2: the enclosure does deaminate Moselle if the pilocarpine is valent. sent3: if the enclosure does deaminate Moselle then the celandine does not deaminate Moselle and it does not tunnel litmus. sent4: the pilocarpine is valent.
sent2 & sent4 -> int1: the fact that the enclosure does deaminate Moselle is not incorrect.; sent3 & int1 -> int2: the celandine does not deaminate Moselle and it does not tunnel litmus.; sent1 & int2 -> hypothesis;
$hypothesis$ = the trophozoite deaminates fluorescence. ; $context$ = sent1: the trophozoite does deaminate fluorescence if the celandine does not deaminate Moselle and does not tunnel litmus. sent2: the enclosure does deaminate Moselle if the pilocarpine is valent. sent3: if the enclosure does deaminate Moselle then the celandine does not deaminate Moselle and it does not tunnel litmus. sent4: the pilocarpine is valent. ; $proof$ = 
sent2 & sent4 -> int1: the fact that the enclosure does deaminate Moselle is not incorrect.; sent3 & int1 -> int2: the celandine does not deaminate Moselle and it does not tunnel litmus.; sent1 & int2 -> hypothesis; __PROVED__