that the chrome is not a Fijian and/or patterns Ovulen is not true.
sent1: if the bow-tie is oneiric then the gingersnap is a Netscape. sent2: the gingersnap is not a kind of a diazonium if the fact that it is a kind of a Netscape and strokes blandness is not wrong. sent3: the Elizabethan stabilizes and strokes blandness. sent4: The blandness does stroke gingersnap. sent5: if the bow-tie is uncreative and/or it does not apologize then it is oneiric. sent6: the fact that the neve does pattern Ovulen if the bow-tie does apologize hold. sent7: the chrome is Fijian if the gingersnap is not a diazonium. sent8: the neve is not a porcelain. sent9: if the bow-tie is uncreative that it is oneiric is not incorrect. sent10: the gingersnap does stroke blandness. sent11: if the neve does not apologize the bow-tie is uncreative and/or does not apologize. sent12: the neve is not a kind of a compositeness and it is not a porcelain. sent13: if the neve does apologize it is a compositeness. sent14: that something does not apologize and it is not oneiric does not hold if it is not a compositeness. sent15: the chrome is a Fijian.
void -> assump1: Let's assume that the fact that the neve apologizes hold.; sent13 & assump1 -> int1: the neve is a compositeness.; sent12 -> int2: that the neve is not a kind of a compositeness is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the neve does not apologize.; int4 & sent11 -> int5: the bow-tie is uncreative and/or does not apologize.; int5 & sent5 -> int6: the bow-tie is oneiric.; int6 & sent1 -> int7: that the gingersnap is a kind of a Netscape is not false.; int7 & sent10 -> int8: the gingersnap is a Netscape and it does stroke blandness.; int8 & sent2 -> int9: the fact that the gingersnap is not a diazonium is not false.;
the chrome is not a Fijian and/or it does pattern Ovulen.
$hypothesis$ = that the chrome is not a Fijian and/or patterns Ovulen is not true. ; $context$ = sent1: if the bow-tie is oneiric then the gingersnap is a Netscape. sent2: the gingersnap is not a kind of a diazonium if the fact that it is a kind of a Netscape and strokes blandness is not wrong. sent3: the Elizabethan stabilizes and strokes blandness. sent4: The blandness does stroke gingersnap. sent5: if the bow-tie is uncreative and/or it does not apologize then it is oneiric. sent6: the fact that the neve does pattern Ovulen if the bow-tie does apologize hold. sent7: the chrome is Fijian if the gingersnap is not a diazonium. sent8: the neve is not a porcelain. sent9: if the bow-tie is uncreative that it is oneiric is not incorrect. sent10: the gingersnap does stroke blandness. sent11: if the neve does not apologize the bow-tie is uncreative and/or does not apologize. sent12: the neve is not a kind of a compositeness and it is not a porcelain. sent13: if the neve does apologize it is a compositeness. sent14: that something does not apologize and it is not oneiric does not hold if it is not a compositeness. sent15: the chrome is a Fijian. ; $proof$ = 
void -> assump1: Let's assume that the fact that the neve apologizes hold.; sent13 & assump1 -> int1: the neve is a compositeness.; sent12 -> int2: that the neve is not a kind of a compositeness is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the neve does not apologize.; int4 & sent11 -> int5: the bow-tie is uncreative and/or does not apologize.; int5 & sent5 -> int6: the bow-tie is oneiric.; int6 & sent1 -> int7: that the gingersnap is a kind of a Netscape is not false.; int7 & sent10 -> int8: the gingersnap is a Netscape and it does stroke blandness.; int8 & sent2 -> int9: the fact that the gingersnap is not a diazonium is not false.; __UNKNOWN__