the copywriter is a Muridae.
sent1: something is a kind of a Digitaria if it awakes. sent2: the starer is not a bushbuck if something that horripilates CFTR is a Digitaria. sent3: if something rejoins it is a kind of a naphtha. sent4: the copywriter is not a diver. sent5: if there is something such that that it is cousinly and it is not a bushbuck is not true the copywriter effaces. sent6: the Cortland does efface and does awake. sent7: something that is not a kind of a Digitaria and does not horripilate CFTR is not a kind of a Muridae. sent8: the fact that the orpine bespots Seriola but it is not cousinly is not right. sent9: the fact that the Cortland horripilates CFTR hold if there is something such that that it bespots Seriola and it is not cousinly is incorrect. sent10: the copywriter is not a diver and is a bushbuck if the starer is not a bushbuck. sent11: the fact that the Cortland does efface is true. sent12: the copywriter is not a diver if the starer is not a bushbuck. sent13: if something is not a diver but it is a bushbuck it is a Muridae. sent14: if the fact that something is a kind of a bushbuck is true the fact that it does horripilate CFTR and is not a Digitaria is not right. sent15: if the copywriter is a diver and a bushbuck it is a Muridae. sent16: that the orpine does bespot Seriola and it is cousinly is not right. sent17: there exists something such that it bespots Seriola and it is not cousinly.
sent8 -> int1: there is something such that the fact that that it bespots Seriola and it is not cousinly is right is not correct.; int1 & sent9 -> int2: the Cortland does horripilate CFTR.; sent1 -> int3: the Cortland is a Digitaria if it is awake.; sent6 -> int4: the Cortland does awake.; int3 & int4 -> int5: the Cortland is a kind of a Digitaria.; int2 & int5 -> int6: the Cortland does horripilate CFTR and is a kind of a Digitaria.; int6 -> int7: something does horripilate CFTR and it is a Digitaria.; int7 & sent2 -> int8: the starer is not a bushbuck.; int8 & sent10 -> int9: the copywriter is not a diver but it is a bushbuck.; sent13 -> int10: if the copywriter is not a diver but it is a kind of a bushbuck it is a Muridae.; int9 & int10 -> hypothesis;
the starer is not a kind of a diver.
sent14 -> int11: if the Cortland is a kind of a bushbuck then the fact that it does horripilate CFTR and it is not a Digitaria is wrong.;
$hypothesis$ = the copywriter is a Muridae. ; $context$ = sent1: something is a kind of a Digitaria if it awakes. sent2: the starer is not a bushbuck if something that horripilates CFTR is a Digitaria. sent3: if something rejoins it is a kind of a naphtha. sent4: the copywriter is not a diver. sent5: if there is something such that that it is cousinly and it is not a bushbuck is not true the copywriter effaces. sent6: the Cortland does efface and does awake. sent7: something that is not a kind of a Digitaria and does not horripilate CFTR is not a kind of a Muridae. sent8: the fact that the orpine bespots Seriola but it is not cousinly is not right. sent9: the fact that the Cortland horripilates CFTR hold if there is something such that that it bespots Seriola and it is not cousinly is incorrect. sent10: the copywriter is not a diver and is a bushbuck if the starer is not a bushbuck. sent11: the fact that the Cortland does efface is true. sent12: the copywriter is not a diver if the starer is not a bushbuck. sent13: if something is not a diver but it is a bushbuck it is a Muridae. sent14: if the fact that something is a kind of a bushbuck is true the fact that it does horripilate CFTR and is not a Digitaria is not right. sent15: if the copywriter is a diver and a bushbuck it is a Muridae. sent16: that the orpine does bespot Seriola and it is cousinly is not right. sent17: there exists something such that it bespots Seriola and it is not cousinly. ; $proof$ = 
sent8 -> int1: there is something such that the fact that that it bespots Seriola and it is not cousinly is right is not correct.; int1 & sent9 -> int2: the Cortland does horripilate CFTR.; sent1 -> int3: the Cortland is a Digitaria if it is awake.; sent6 -> int4: the Cortland does awake.; int3 & int4 -> int5: the Cortland is a kind of a Digitaria.; int2 & int5 -> int6: the Cortland does horripilate CFTR and is a kind of a Digitaria.; int6 -> int7: something does horripilate CFTR and it is a Digitaria.; int7 & sent2 -> int8: the starer is not a bushbuck.; int8 & sent10 -> int9: the copywriter is not a diver but it is a bushbuck.; sent13 -> int10: if the copywriter is not a diver but it is a kind of a bushbuck it is a Muridae.; int9 & int10 -> hypothesis; __PROVED__