the fact that the Muller is not revolutionary is not wrong.
sent1: if the anti is not abnormal the Muller does not neglect Oncorhynchus but it buds. sent2: the Muller does bud if the anti is not abnormal. sent3: something is a kind of an endive if it is a nothosaur. sent4: the brome does neglect tightness and is not a kind of a Moody. sent5: if there exists something such that it is acetic then the brome does neglect Oncorhynchus. sent6: if something is a nothosaur then it is not abnormal. sent7: if there is something such that it does neglect Edinburgh the Muller is a hurl. sent8: the fact that something is a kind of non-acetic thing that is non-thallophytic is not correct if it is an endive. sent9: the brome is thallophytic if it does neglect tightness and is not a kind of a Moody. sent10: the fact that something is not revolutionary is true if it does not neglect Oncorhynchus and it is a bud. sent11: if something is either an endive or a nothosaur or both then it is not abnormal. sent12: if the fact that the anti is a nothosaur is not false then it is not abnormal. sent13: the Muller does bud. sent14: the anti neglects Oncorhynchus.
sent9 & sent4 -> int1: the brome is thallophytic.; int1 -> int2: the brome is acetic and/or it is thallophytic.; int2 -> int3: there exists something such that it is acetic and/or it is thallophytic.; sent11 -> int4: the anti is not abnormal if it is an endive or it is a nothosaur or both.; sent10 -> int5: if the Muller does not neglect Oncorhynchus and buds then it is not revolutionary.;
the Muller is revolutionary.
sent8 -> int6: if the brome is an endive then that it is both not acetic and not thallophytic is incorrect.; sent3 -> int7: if the fact that the brome is a nothosaur hold it is an endive.; sent14 -> int8: there exists something such that that it neglects Oncorhynchus is true.;
$hypothesis$ = the fact that the Muller is not revolutionary is not wrong. ; $context$ = sent1: if the anti is not abnormal the Muller does not neglect Oncorhynchus but it buds. sent2: the Muller does bud if the anti is not abnormal. sent3: something is a kind of an endive if it is a nothosaur. sent4: the brome does neglect tightness and is not a kind of a Moody. sent5: if there exists something such that it is acetic then the brome does neglect Oncorhynchus. sent6: if something is a nothosaur then it is not abnormal. sent7: if there is something such that it does neglect Edinburgh the Muller is a hurl. sent8: the fact that something is a kind of non-acetic thing that is non-thallophytic is not correct if it is an endive. sent9: the brome is thallophytic if it does neglect tightness and is not a kind of a Moody. sent10: the fact that something is not revolutionary is true if it does not neglect Oncorhynchus and it is a bud. sent11: if something is either an endive or a nothosaur or both then it is not abnormal. sent12: if the fact that the anti is a nothosaur is not false then it is not abnormal. sent13: the Muller does bud. sent14: the anti neglects Oncorhynchus. ; $proof$ = 
sent9 & sent4 -> int1: the brome is thallophytic.; int1 -> int2: the brome is acetic and/or it is thallophytic.; int2 -> int3: there exists something such that it is acetic and/or it is thallophytic.; sent11 -> int4: the anti is not abnormal if it is an endive or it is a nothosaur or both.; sent10 -> int5: if the Muller does not neglect Oncorhynchus and buds then it is not revolutionary.; __UNKNOWN__