the oilfield is a roughcast.
sent1: there exists something such that it is a crock and is a roughcast. sent2: the oilfield is a classwork. sent3: the kangaroo roughcasts. sent4: the nectary does not adduct Ovocon if it is ocular. sent5: something is not nontranslational. sent6: if the nectary does not erupt and is a Butterfield the fustian is not a Butterfield. sent7: if the fact that the nectary does not adduct Ovocon is not incorrect it is a polyphony and erupts. sent8: something is not a kind of a Laocoon if it is not a Butterfield. sent9: if that the esker is both a Laocoon and a roughcast is not right then the brim is not a roughcast. sent10: the oilfield is a kind of a roughcast if the esker is a kind of non-translational a crock. sent11: if the esker is a kind of a roughcast the oilfield roughcast. sent12: the oilfield crocks. sent13: the nectary is not a polyphony. sent14: there is something such that it crocks. sent15: the oilfield does not roughcast if there exists something such that it is translational and does crock. sent16: that the esker is a crock is true. sent17: the esker is not translational but it is a crock if the coprophagy is not a Laocoon. sent18: the fact that the brim is a kind of a crock that is translational is wrong if it is not a roughcast. sent19: if the nectary is not a polyphony then it does not erupt and is a kind of a Butterfield. sent20: if there exists something such that it is not a kind of a Butterfield then the coprophagy is a kind of translational a Laocoon. sent21: the esker is translational. sent22: the IPV crocks and is a kind of a Gekkonidae. sent23: the oilfield adducts zinfandel.
sent21 & sent16 -> int1: the esker is both not nontranslational and a crock.; int1 -> int2: something is translational and it is a crock.; int2 & sent15 -> hypothesis;
the oilfield is a roughcast.
$hypothesis$ = the oilfield is a roughcast. ; $context$ = sent1: there exists something such that it is a crock and is a roughcast. sent2: the oilfield is a classwork. sent3: the kangaroo roughcasts. sent4: the nectary does not adduct Ovocon if it is ocular. sent5: something is not nontranslational. sent6: if the nectary does not erupt and is a Butterfield the fustian is not a Butterfield. sent7: if the fact that the nectary does not adduct Ovocon is not incorrect it is a polyphony and erupts. sent8: something is not a kind of a Laocoon if it is not a Butterfield. sent9: if that the esker is both a Laocoon and a roughcast is not right then the brim is not a roughcast. sent10: the oilfield is a kind of a roughcast if the esker is a kind of non-translational a crock. sent11: if the esker is a kind of a roughcast the oilfield roughcast. sent12: the oilfield crocks. sent13: the nectary is not a polyphony. sent14: there is something such that it crocks. sent15: the oilfield does not roughcast if there exists something such that it is translational and does crock. sent16: that the esker is a crock is true. sent17: the esker is not translational but it is a crock if the coprophagy is not a Laocoon. sent18: the fact that the brim is a kind of a crock that is translational is wrong if it is not a roughcast. sent19: if the nectary is not a polyphony then it does not erupt and is a kind of a Butterfield. sent20: if there exists something such that it is not a kind of a Butterfield then the coprophagy is a kind of translational a Laocoon. sent21: the esker is translational. sent22: the IPV crocks and is a kind of a Gekkonidae. sent23: the oilfield adducts zinfandel. ; $proof$ = 
sent21 & sent16 -> int1: the esker is both not nontranslational and a crock.; int1 -> int2: something is translational and it is a crock.; int2 & sent15 -> hypothesis; __DISPROVED__