the shallu is a kind of a Dane and/or it is not chondritic if the Tutelo is noticeable.
sent1: the shallu is a Dane and/or it is chondritic. sent2: the buttonhole is a kind of a femininity if the Tutelo is noticeable. sent3: the shallu is not chondritic if that the Simeon does dominate Carbondale and it is a border is not right. sent4: if the fact that the sock is not a femininity but it is excusable is not true then the sugarplum is not a kind of a folderal. sent5: if the buttonhole is a kind of a femininity then the fact that the sock is not a femininity but it is excusable is wrong.
void -> assump1: Let's assume that the Tutelo is noticeable.; sent2 & assump1 -> int1: the buttonhole is a femininity.; sent5 & int1 -> int2: that the sock is not a femininity but excusable is wrong.; sent4 & int2 -> int3: the sugarplum is not a folderal.;
$hypothesis$ = the shallu is a kind of a Dane and/or it is not chondritic if the Tutelo is noticeable. ; $context$ = sent1: the shallu is a Dane and/or it is chondritic. sent2: the buttonhole is a kind of a femininity if the Tutelo is noticeable. sent3: the shallu is not chondritic if that the Simeon does dominate Carbondale and it is a border is not right. sent4: if the fact that the sock is not a femininity but it is excusable is not true then the sugarplum is not a kind of a folderal. sent5: if the buttonhole is a kind of a femininity then the fact that the sock is not a femininity but it is excusable is wrong. ; $proof$ = 
void -> assump1: Let's assume that the Tutelo is noticeable.; sent2 & assump1 -> int1: the buttonhole is a femininity.; sent5 & int1 -> int2: that the sock is not a femininity but excusable is wrong.; sent4 & int2 -> int3: the sugarplum is not a folderal.; __UNKNOWN__