the crossbench is a threadfish.
sent1: if something is a kind of a Moroccan then it is unprofitable. sent2: if the galactose is a phoenicophorium then that the crossbench is a threadfish hold. sent3: something is a kind of a phoenicophorium if it is a Northrop. sent4: that the billboard is diurnal is correct if it is not a pheno-safranine and is unprofitable. sent5: something is not unprofitable or is diurnal or both if it is a Northrop. sent6: that the billboard is a threadfish and is not a kind of a pheno-safranine is false if the fact that the galactose is not unprofitable hold. sent7: the galactose is a Northrop if the billboard is diurnal. sent8: the billboard is not a pheno-safranine if that it is not duodenal and is a Peirce is not right. sent9: the billboard is not a pheno-safranine if it is duodenal. sent10: the galactose is a Peirce if the billboard is a kind of a Northrop. sent11: that the billboard is duodenal and it is a kind of a Peirce is incorrect. sent12: the fact that if the fact that the billboard is a kind of a threadfish that is not a pheno-safranine does not hold then the crossbench is not a kind of a threadfish is correct. sent13: the fact that the billboard is non-duodenal but it is a Peirce is not right. sent14: if the fact that something does not circumscribe lullaby or it is a kind of a phoenicophorium or both does not hold it is a Northrop.
sent8 & sent13 -> int1: that the billboard is not a kind of a pheno-safranine is not incorrect.; sent3 -> int2: that if that the galactose is the Northrop is not wrong the galactose is a phoenicophorium is not false.;
the crossbench is not a kind of a threadfish.
sent5 -> int3: the cefuroxime is not unprofitable and/or it is diurnal if it is a Northrop.; sent14 -> int4: if that the cefuroxime does not circumscribe lullaby or is a phoenicophorium or both is not correct it is a Northrop.;
$hypothesis$ = the crossbench is a threadfish. ; $context$ = sent1: if something is a kind of a Moroccan then it is unprofitable. sent2: if the galactose is a phoenicophorium then that the crossbench is a threadfish hold. sent3: something is a kind of a phoenicophorium if it is a Northrop. sent4: that the billboard is diurnal is correct if it is not a pheno-safranine and is unprofitable. sent5: something is not unprofitable or is diurnal or both if it is a Northrop. sent6: that the billboard is a threadfish and is not a kind of a pheno-safranine is false if the fact that the galactose is not unprofitable hold. sent7: the galactose is a Northrop if the billboard is diurnal. sent8: the billboard is not a pheno-safranine if that it is not duodenal and is a Peirce is not right. sent9: the billboard is not a pheno-safranine if it is duodenal. sent10: the galactose is a Peirce if the billboard is a kind of a Northrop. sent11: that the billboard is duodenal and it is a kind of a Peirce is incorrect. sent12: the fact that if the fact that the billboard is a kind of a threadfish that is not a pheno-safranine does not hold then the crossbench is not a kind of a threadfish is correct. sent13: the fact that the billboard is non-duodenal but it is a Peirce is not right. sent14: if the fact that something does not circumscribe lullaby or it is a kind of a phoenicophorium or both does not hold it is a Northrop. ; $proof$ = 
sent8 & sent13 -> int1: that the billboard is not a kind of a pheno-safranine is not incorrect.; sent3 -> int2: that if that the galactose is the Northrop is not wrong the galactose is a phoenicophorium is not false.; __UNKNOWN__