the putrefaction is not a kind of a simple.
sent1: if the alarmist is not a purchase the putrefaction is not simple. sent2: the putrefaction is not greater if the cymene is not simple. sent3: the fact that if the putrefaction is not an arena the standby is not greater and it is not simple is not false. sent4: something is not a biltong if it is not a cub. sent5: the alarmist is not a kind of a simple if the putrefaction is not a purchase. sent6: if the alarmist is nonmetamorphic the putrefaction is not a simple. sent7: if the cymene is not an arena and is not greater then the alarmist is greater. sent8: something is not greater if it is not a Scartella and it is not a kind of a biltong. sent9: the putrefaction is not nonmetamorphic. sent10: either something is greater or it is not an arena or both if it is not a purchase. sent11: if something is not greater it is a kind of an arena and/or is simple. sent12: if the WLAN is not a jingoism but it does cub then the cymene is not a cub. sent13: something is not a kind of an arena if it is not a Scartella. sent14: the cymene is not an arena and is not greater. sent15: the WLAN is not a jingoism and cubs.
sent7 & sent14 -> int1: the alarmist is not greater.;
the standby is not greater.
sent13 -> int2: if that the putrefaction is not a Scartella is true it is not an arena.; sent4 -> int3: if the cymene is not a kind of a cub then it is not a biltong.; sent12 & sent15 -> int4: the cymene is not a kind of a cub.; int3 & int4 -> int5: the cymene is not a biltong.; int5 -> int6: either the cymene is not a biltong or it is not a Scartella or both.; int6 -> int7: something is not a biltong and/or it is not a Scartella.;
$hypothesis$ = the putrefaction is not a kind of a simple. ; $context$ = sent1: if the alarmist is not a purchase the putrefaction is not simple. sent2: the putrefaction is not greater if the cymene is not simple. sent3: the fact that if the putrefaction is not an arena the standby is not greater and it is not simple is not false. sent4: something is not a biltong if it is not a cub. sent5: the alarmist is not a kind of a simple if the putrefaction is not a purchase. sent6: if the alarmist is nonmetamorphic the putrefaction is not a simple. sent7: if the cymene is not an arena and is not greater then the alarmist is greater. sent8: something is not greater if it is not a Scartella and it is not a kind of a biltong. sent9: the putrefaction is not nonmetamorphic. sent10: either something is greater or it is not an arena or both if it is not a purchase. sent11: if something is not greater it is a kind of an arena and/or is simple. sent12: if the WLAN is not a jingoism but it does cub then the cymene is not a cub. sent13: something is not a kind of an arena if it is not a Scartella. sent14: the cymene is not an arena and is not greater. sent15: the WLAN is not a jingoism and cubs. ; $proof$ = 
sent7 & sent14 -> int1: the alarmist is not greater.; __UNKNOWN__