the nihilist is not a kind of a Lipscomb.
sent1: the dyslectic is not univalve if it is a kind of a prospect. sent2: the nihilist is a micrometeorite and it is univalve if the Nipa is not a motorman. sent3: if something that is a motorman is not univalve it is a Arcadic. sent4: the bilirubin is not a Lipscomb. sent5: if something is a micrometeorite but it is not univalve it is a motorman. sent6: the dyslectic is a micrometeorite. sent7: if the Nipa is a kind of a Arcadic the nihilist is a Lipscomb. sent8: the Nipa is a Arcadic if the dyslectic is a kind of a motorman. sent9: something that does prospect is not univalve. sent10: the Nipa is not a kind of a motorman if the fact that the bilirubin is a kind of a sulk that is a Arcadic does not hold. sent11: the dyslectic is either not a gladdon or a prospect or both. sent12: if something is not a gladdon and/or it does prospect it is not univalve. sent13: something is a motorman if it is a Arcadic and not a micrometeorite. sent14: something that is either not a Lipscomb or a motorman or both is not a prospect. sent15: if something that is a Meniscium is not a psychrometer it is a nobility.
sent12 -> int1: the fact that the dyslectic is not univalve is right if it is not a gladdon or it is a kind of a prospect or both.; int1 & sent11 -> int2: the dyslectic is not univalve.; int2 & sent6 -> int3: the dyslectic is a micrometeorite but not univalve.; sent5 -> int4: if the dyslectic is a micrometeorite but it is not univalve it is a kind of a motorman.; int3 & int4 -> int5: the dyslectic is a motorman.; int5 & sent8 -> int6: the Nipa is a kind of a Arcadic.; int6 & sent7 -> hypothesis;
the nihilist is not a kind of a Lipscomb.
$hypothesis$ = the nihilist is not a kind of a Lipscomb. ; $context$ = sent1: the dyslectic is not univalve if it is a kind of a prospect. sent2: the nihilist is a micrometeorite and it is univalve if the Nipa is not a motorman. sent3: if something that is a motorman is not univalve it is a Arcadic. sent4: the bilirubin is not a Lipscomb. sent5: if something is a micrometeorite but it is not univalve it is a motorman. sent6: the dyslectic is a micrometeorite. sent7: if the Nipa is a kind of a Arcadic the nihilist is a Lipscomb. sent8: the Nipa is a Arcadic if the dyslectic is a kind of a motorman. sent9: something that does prospect is not univalve. sent10: the Nipa is not a kind of a motorman if the fact that the bilirubin is a kind of a sulk that is a Arcadic does not hold. sent11: the dyslectic is either not a gladdon or a prospect or both. sent12: if something is not a gladdon and/or it does prospect it is not univalve. sent13: something is a motorman if it is a Arcadic and not a micrometeorite. sent14: something that is either not a Lipscomb or a motorman or both is not a prospect. sent15: if something that is a Meniscium is not a psychrometer it is a nobility. ; $proof$ = 
sent12 -> int1: the fact that the dyslectic is not univalve is right if it is not a gladdon or it is a kind of a prospect or both.; int1 & sent11 -> int2: the dyslectic is not univalve.; int2 & sent6 -> int3: the dyslectic is a micrometeorite but not univalve.; sent5 -> int4: if the dyslectic is a micrometeorite but it is not univalve it is a kind of a motorman.; int3 & int4 -> int5: the dyslectic is a motorman.; int5 & sent8 -> int6: the Nipa is a kind of a Arcadic.; int6 & sent7 -> hypothesis; __DISPROVED__