the maroon is not a kind of a Newtonian.
sent1: something that is either not a Newtonian or not synchronic or both is not Newtonian. sent2: the taco is not a Bokmal if it does reline expectedness. sent3: something is not a Bokmal and it is not a signor if it is not a Newtonian. sent4: if the satinleaf is synchronic the taco is a kind of a Bokmal. sent5: there is something such that it is a kind of a Bokmal. sent6: something welds Sundanese and is a kind of a signor. sent7: the taco welds Sundanese. sent8: The Sundanese welds taco. sent9: the taco is a Bokmal if the satinleaf relines expectedness. sent10: the lorry does weld Sundanese if something is not a kind of a Bokmal and it is not a signor. sent11: the satinleaf is synchronic and/or does reline expectedness. sent12: the satinleaf shatters Balkan. sent13: the taco is a signor if it does weld Sundanese. sent14: the maroon is a kind of a Newtonian if something that is a kind of a signor is a Bokmal.
sent13 & sent7 -> int1: the taco is a kind of a signor.; sent11 & sent4 & sent9 -> int2: the taco is a kind of a Bokmal.; int1 & int2 -> int3: the taco is a signor and a Bokmal.; int3 -> int4: there exists something such that it is a signor and a Bokmal.; int4 & sent14 -> hypothesis;
the maroon is not a Newtonian.
$hypothesis$ = the maroon is not a kind of a Newtonian. ; $context$ = sent1: something that is either not a Newtonian or not synchronic or both is not Newtonian. sent2: the taco is not a Bokmal if it does reline expectedness. sent3: something is not a Bokmal and it is not a signor if it is not a Newtonian. sent4: if the satinleaf is synchronic the taco is a kind of a Bokmal. sent5: there is something such that it is a kind of a Bokmal. sent6: something welds Sundanese and is a kind of a signor. sent7: the taco welds Sundanese. sent8: The Sundanese welds taco. sent9: the taco is a Bokmal if the satinleaf relines expectedness. sent10: the lorry does weld Sundanese if something is not a kind of a Bokmal and it is not a signor. sent11: the satinleaf is synchronic and/or does reline expectedness. sent12: the satinleaf shatters Balkan. sent13: the taco is a signor if it does weld Sundanese. sent14: the maroon is a kind of a Newtonian if something that is a kind of a signor is a Bokmal. ; $proof$ = 
sent13 & sent7 -> int1: the taco is a kind of a signor.; sent11 & sent4 & sent9 -> int2: the taco is a kind of a Bokmal.; int1 & int2 -> int3: the taco is a signor and a Bokmal.; int3 -> int4: there exists something such that it is a signor and a Bokmal.; int4 & sent14 -> hypothesis; __DISPROVED__