the fact that that the foldout is a private but it is not a quahaug is not correct hold.
sent1: if the foldout is a private but it is not a quahaug the dale is not a yottabyte. sent2: if the foldout is a yottabyte the dale is a quahaug. sent3: if that something is not a Monitor and it is not a Oriolus is false it is a Monitor. sent4: the foldout culminates but it is not a quahaug. sent5: if something is orthopedics then it is a private that is not a quahaug. sent6: the dale is a quahaug. sent7: if the propagandist is orthopedics then the dale is a yottabyte. sent8: the foldout is a kind of a yottabyte that is orthopedics if the dale is not a Monitor. sent9: the propagandist is not a kind of a quahaug. sent10: that the foldout is a private and it is a quahaug is not right. sent11: the propagandist is orthopedics. sent12: something is not an oolong. sent13: if something is not a Monitor it is not orthopedics and it is not a yottabyte. sent14: something is not a Monitor if that it is a Monitor and is a kind of a Oriolus does not hold. sent15: the fact that the foldout is a quahaug but it is not orthopedics is false. sent16: the foldout is not a kind of a quahaug. sent17: if the foldout is a private and it is a quahaug then the dale is not a kind of a yottabyte. sent18: the ferry is orthopedics. sent19: the fact that the propagandist is not a kind of an oolong is not false.
void -> assump1: Let's assume that the foldout is a private but it is not a quahaug.; sent1 & assump1 -> int1: the dale is not a yottabyte.; sent7 & sent11 -> int2: the dale is a yottabyte.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the foldout is a kind of a private that is not a quahaug.
sent5 -> int4: the foldout is a private but it is not a quahaug if it is orthopedics.; sent3 -> int5: the dale is a kind of a Monitor if the fact that that it is both not a Monitor and not a Oriolus is not false is not true.;
$hypothesis$ = the fact that that the foldout is a private but it is not a quahaug is not correct hold. ; $context$ = sent1: if the foldout is a private but it is not a quahaug the dale is not a yottabyte. sent2: if the foldout is a yottabyte the dale is a quahaug. sent3: if that something is not a Monitor and it is not a Oriolus is false it is a Monitor. sent4: the foldout culminates but it is not a quahaug. sent5: if something is orthopedics then it is a private that is not a quahaug. sent6: the dale is a quahaug. sent7: if the propagandist is orthopedics then the dale is a yottabyte. sent8: the foldout is a kind of a yottabyte that is orthopedics if the dale is not a Monitor. sent9: the propagandist is not a kind of a quahaug. sent10: that the foldout is a private and it is a quahaug is not right. sent11: the propagandist is orthopedics. sent12: something is not an oolong. sent13: if something is not a Monitor it is not orthopedics and it is not a yottabyte. sent14: something is not a Monitor if that it is a Monitor and is a kind of a Oriolus does not hold. sent15: the fact that the foldout is a quahaug but it is not orthopedics is false. sent16: the foldout is not a kind of a quahaug. sent17: if the foldout is a private and it is a quahaug then the dale is not a kind of a yottabyte. sent18: the ferry is orthopedics. sent19: the fact that the propagandist is not a kind of an oolong is not false. ; $proof$ = 
void -> assump1: Let's assume that the foldout is a private but it is not a quahaug.; sent1 & assump1 -> int1: the dale is not a yottabyte.; sent7 & sent11 -> int2: the dale is a yottabyte.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__