there exists something such that the fact that it is ovoviviparous and it is not marine is false.
sent1: the rutherfordium does not riddle Robinson and is not major if the fact that the transept major hold. sent2: the fact that the transept is a major is true if something is ovoviviparous but it is not a marine. sent3: the rutherfordium is not a major if the transept is major. sent4: that the rutherfordium does not riddle Robinson and is not a major is incorrect. sent5: a major is horticultural and not a marine. sent6: if the transept is not chromatinic but it does major the antiknock is a major.
void -> assump1: Let's assume that the antiknock is ovoviviparous and is not a kind of a marine.; assump1 -> int1: there is something such that it is ovoviviparous and not marine.; int1 & sent2 -> int2: the transept is a major.; int2 & sent1 -> int3: the rutherfordium does not riddle Robinson and is not a major.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the antiknock is ovoviviparous thing that is not a marine does not hold.; int5 -> hypothesis;
the antiknock is horticultural thing that is not a kind of a marine.
sent5 -> int6: the antiknock is horticultural thing that is not a marine if it is major.;
$hypothesis$ = there exists something such that the fact that it is ovoviviparous and it is not marine is false. ; $context$ = sent1: the rutherfordium does not riddle Robinson and is not major if the fact that the transept major hold. sent2: the fact that the transept is a major is true if something is ovoviviparous but it is not a marine. sent3: the rutherfordium is not a major if the transept is major. sent4: that the rutherfordium does not riddle Robinson and is not a major is incorrect. sent5: a major is horticultural and not a marine. sent6: if the transept is not chromatinic but it does major the antiknock is a major. ; $proof$ = 
void -> assump1: Let's assume that the antiknock is ovoviviparous and is not a kind of a marine.; assump1 -> int1: there is something such that it is ovoviviparous and not marine.; int1 & sent2 -> int2: the transept is a major.; int2 & sent1 -> int3: the rutherfordium does not riddle Robinson and is not a major.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the antiknock is ovoviviparous thing that is not a marine does not hold.; int5 -> hypothesis; __PROVED__