the cittern is a kind of a secondary.
sent1: if the cittern is not a secondary then that the rockfish is not fetal and lulls hold. sent2: everything is photoelectric and it does not narrate A-line. sent3: if the rockfish is a secondary but not photoelectric then the cittern is not a kind of a secondary. sent4: if the fact that the Nazarene is a humanities is true then the rockfish does narrate A-line. sent5: the Nazarene is a kind of a humanities if the blocker is a kind of a humanities. sent6: if the cittern is not fetal then the rockfish is not secondary. sent7: the cittern does not uncork corselet. sent8: the cittern does not narrate A-line if the rockfish does not lull. sent9: the birthwort is not secondary. sent10: everything does not narrate A-line. sent11: if that something narrates A-line hold then it is secondary thing that is not photoelectric. sent12: the cittern does not narrate A-line. sent13: the rockfish is not fetal.
void -> assump1: Let's assume that the cittern is not a kind of a secondary.; sent1 & assump1 -> int1: the rockfish is not fetal but it does lull.; int1 -> int2: the rockfish lulls.; sent2 -> int3: the rockfish is photoelectric but it does not narrate A-line.;
the cittern is not a secondary.
sent11 -> int4: the rockfish is a secondary that is not photoelectric if it narrates A-line.;
$hypothesis$ = the cittern is a kind of a secondary. ; $context$ = sent1: if the cittern is not a secondary then that the rockfish is not fetal and lulls hold. sent2: everything is photoelectric and it does not narrate A-line. sent3: if the rockfish is a secondary but not photoelectric then the cittern is not a kind of a secondary. sent4: if the fact that the Nazarene is a humanities is true then the rockfish does narrate A-line. sent5: the Nazarene is a kind of a humanities if the blocker is a kind of a humanities. sent6: if the cittern is not fetal then the rockfish is not secondary. sent7: the cittern does not uncork corselet. sent8: the cittern does not narrate A-line if the rockfish does not lull. sent9: the birthwort is not secondary. sent10: everything does not narrate A-line. sent11: if that something narrates A-line hold then it is secondary thing that is not photoelectric. sent12: the cittern does not narrate A-line. sent13: the rockfish is not fetal. ; $proof$ = 
void -> assump1: Let's assume that the cittern is not a kind of a secondary.; sent1 & assump1 -> int1: the rockfish is not fetal but it does lull.; int1 -> int2: the rockfish lulls.; sent2 -> int3: the rockfish is photoelectric but it does not narrate A-line.; __UNKNOWN__