the group is a ATP.
sent1: the lutetium does not prepare stridor. sent2: the group is inconstant and it is a chatroom. sent3: the group prepares stridor if there exists something such that the fact that it is inconstant and prepares spikemoss is not true. sent4: the group prepares stridor if there exists something such that it is not inconstant. sent5: the group does not prepare stridor if the polyphosphate does prepare stridor. sent6: the group is a kind of a Maoist. sent7: there is something such that the fact that it does prepare spikemoss and is a Maoist does not hold. sent8: the group is not a ATP if it is a cefuroxime and it is cachectic. sent9: something compromises Lupinus if it prepares stridor. sent10: that something is inconstant and it prepares spikemoss is not incorrect. sent11: the polyphosphate does not prepare Nammu. sent12: if something does compromise Lupinus then it is a cefuroxime. sent13: the group is cachectic and it is Maoist. sent14: if the polyphosphate does not prepare Nammu then the fact that the lutetium is a kind of inconstant thing that prepares spikemoss is not right. sent15: the fact that something does not prepare Nammu and does not prepare stridor is false if it does not compromise Lupinus. sent16: The Nammu does not prepare polyphosphate.
sent14 & sent11 -> int1: the fact that the lutetium is inconstant and prepares spikemoss does not hold.; int1 -> int2: there exists something such that that it is inconstant thing that does prepare spikemoss is not correct.; int2 & sent3 -> int3: that the group prepares stridor is not false.; sent9 -> int4: the group compromises Lupinus if it does prepare stridor.; int3 & int4 -> int5: the fact that the group does compromise Lupinus hold.; sent12 -> int6: if the group compromises Lupinus it is a kind of a cefuroxime.; int5 & int6 -> int7: the group is a kind of a cefuroxime.; sent13 -> int8: the group is cachectic.; int7 & int8 -> int9: the group is a kind of a cefuroxime and it is cachectic.; int9 & sent8 -> hypothesis;
the group is a ATP.
$hypothesis$ = the group is a ATP. ; $context$ = sent1: the lutetium does not prepare stridor. sent2: the group is inconstant and it is a chatroom. sent3: the group prepares stridor if there exists something such that the fact that it is inconstant and prepares spikemoss is not true. sent4: the group prepares stridor if there exists something such that it is not inconstant. sent5: the group does not prepare stridor if the polyphosphate does prepare stridor. sent6: the group is a kind of a Maoist. sent7: there is something such that the fact that it does prepare spikemoss and is a Maoist does not hold. sent8: the group is not a ATP if it is a cefuroxime and it is cachectic. sent9: something compromises Lupinus if it prepares stridor. sent10: that something is inconstant and it prepares spikemoss is not incorrect. sent11: the polyphosphate does not prepare Nammu. sent12: if something does compromise Lupinus then it is a cefuroxime. sent13: the group is cachectic and it is Maoist. sent14: if the polyphosphate does not prepare Nammu then the fact that the lutetium is a kind of inconstant thing that prepares spikemoss is not right. sent15: the fact that something does not prepare Nammu and does not prepare stridor is false if it does not compromise Lupinus. sent16: The Nammu does not prepare polyphosphate. ; $proof$ = 
sent14 & sent11 -> int1: the fact that the lutetium is inconstant and prepares spikemoss does not hold.; int1 -> int2: there exists something such that that it is inconstant thing that does prepare spikemoss is not correct.; int2 & sent3 -> int3: that the group prepares stridor is not false.; sent9 -> int4: the group compromises Lupinus if it does prepare stridor.; int3 & int4 -> int5: the fact that the group does compromise Lupinus hold.; sent12 -> int6: if the group compromises Lupinus it is a kind of a cefuroxime.; int5 & int6 -> int7: the group is a kind of a cefuroxime.; sent13 -> int8: the group is cachectic.; int7 & int8 -> int9: the group is a kind of a cefuroxime and it is cachectic.; int9 & sent8 -> hypothesis; __DISPROVED__