the ectoplasm does not clank.
sent1: the ectoplasm does not clank if the fact that either the pin is not a kind of a PIE or it is amphoric or both is not true. sent2: the multiflora is intraventricular. sent3: if the exocrine is not salty then the fact that the pin is not a PIE or is amphoric or both is incorrect. sent4: if the nonsmoker greases insignificance but it is not a magus the granadillo is phrasal. sent5: the nonsmoker greases insignificance but it is not a magus. sent6: the exocrine is not salty if the granadillo is intraventricular and is phrasal.
sent4 & sent5 -> int1: the granadillo is phrasal.;
$hypothesis$ = the ectoplasm does not clank. ; $context$ = sent1: the ectoplasm does not clank if the fact that either the pin is not a kind of a PIE or it is amphoric or both is not true. sent2: the multiflora is intraventricular. sent3: if the exocrine is not salty then the fact that the pin is not a PIE or is amphoric or both is incorrect. sent4: if the nonsmoker greases insignificance but it is not a magus the granadillo is phrasal. sent5: the nonsmoker greases insignificance but it is not a magus. sent6: the exocrine is not salty if the granadillo is intraventricular and is phrasal. ; $proof$ = 
sent4 & sent5 -> int1: the granadillo is phrasal.; __UNKNOWN__