either the carrycot is a kind of a propaedeutic or it does not incriminate saskatoon or both.
sent1: everything is sensorineural.
sent1 -> int1: the fact that the carrycot is sensorineural is not wrong.; void -> assump1: Let's assume that the carrycot is not a propaedeutic.; int1 & assump1 -> int2: the carrycot is not a propaedeutic and is sensorineural.;
$hypothesis$ = either the carrycot is a kind of a propaedeutic or it does not incriminate saskatoon or both. ; $context$ = sent1: everything is sensorineural. ; $proof$ = 
sent1 -> int1: the fact that the carrycot is sensorineural is not wrong.; void -> assump1: Let's assume that the carrycot is not a propaedeutic.; int1 & assump1 -> int2: the carrycot is not a propaedeutic and is sensorineural.; __UNKNOWN__