the zoomastigote is a comeback and it strangulates timework.
sent1: if the nebuchadnezzar is not necromantic it strangulates timework. sent2: the zoomastigote is logistic. sent3: the nebuchadnezzar does not resist legionnaire. sent4: the zoomastigote is a comeback if the nebuchadnezzar is binary. sent5: the nebuchadnezzar does strangulate timework. sent6: that the nebuchadnezzar is a binary hold if it is coccal. sent7: if the nebuchadnezzar is necromantic it resists legionnaire. sent8: The legionnaire does not resist nebuchadnezzar. sent9: if the zoomastigote is a comeback it is not non-necromantic. sent10: if the nebuchadnezzar is not necromantic then it is coccal.
void -> assump1: Let's assume that the nebuchadnezzar is necromantic.; sent7 & assump1 -> int1: the nebuchadnezzar resists legionnaire.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nebuchadnezzar is not necromantic.; int3 & sent10 -> int4: the nebuchadnezzar is not non-coccal.; int4 & sent6 -> int5: the nebuchadnezzar is a kind of a binary.; int5 & sent4 -> int6: the zoomastigote is a comeback.;
$hypothesis$ = the zoomastigote is a comeback and it strangulates timework. ; $context$ = sent1: if the nebuchadnezzar is not necromantic it strangulates timework. sent2: the zoomastigote is logistic. sent3: the nebuchadnezzar does not resist legionnaire. sent4: the zoomastigote is a comeback if the nebuchadnezzar is binary. sent5: the nebuchadnezzar does strangulate timework. sent6: that the nebuchadnezzar is a binary hold if it is coccal. sent7: if the nebuchadnezzar is necromantic it resists legionnaire. sent8: The legionnaire does not resist nebuchadnezzar. sent9: if the zoomastigote is a comeback it is not non-necromantic. sent10: if the nebuchadnezzar is not necromantic then it is coccal. ; $proof$ = 
void -> assump1: Let's assume that the nebuchadnezzar is necromantic.; sent7 & assump1 -> int1: the nebuchadnezzar resists legionnaire.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nebuchadnezzar is not necromantic.; int3 & sent10 -> int4: the nebuchadnezzar is not non-coccal.; int4 & sent6 -> int5: the nebuchadnezzar is a kind of a binary.; int5 & sent4 -> int6: the zoomastigote is a comeback.; __UNKNOWN__