the Western does look barbwire and is rocky.
sent1: there exists something such that it is not a Squalidae. sent2: something is rocky and it is uncontroversial if that it does not look locative is true. sent3: if something that is not likable is not a lowland then the mathematician does not look barbwire. sent4: there exists something such that it does not look barbwire and is not rocky. sent5: if the mathematician does not look barbwire that the Western look barbwire and it is rocky is not right. sent6: the Western is not a lowland. sent7: if the mathematician is not steroidal then the Western looks barbwire and it is bignoniaceous. sent8: that the mathematician looks barbwire and it is rocky is incorrect. sent9: the fact that the mathematician is heliacal and it forbids does not hold. sent10: something is not a kind of a continence if the fact that it is an aerial and it does not look questioning is not correct. sent11: if something that does not permit interface is not rocky then the mathematician is not an irrational. sent12: the mathematician is nonsteroidal if the fact that it is heliacal and it forbids is not right. sent13: there exists something such that it is not rocky. sent14: the mathematician is not a kind of a witchcraft. sent15: there is something such that it is both not likable and non-lowland. sent16: something does look barbwire but it is not rocky. sent17: there exists something such that it does not look barbwire. sent18: that the barbwire is a kind of aerial thing that does not look questioning is not correct.
sent15 & sent3 -> int1: the mathematician does not look barbwire.; sent5 & int1 -> hypothesis;
the Western looks barbwire and it is rocky.
sent12 & sent9 -> int2: the mathematician is not steroidal.; sent7 & int2 -> int3: the Western does look barbwire and is bignoniaceous.; int3 -> int4: the Western does look barbwire.; sent2 -> int5: the Western is a kind of rocky thing that is uncontroversial if it does not look locative.; sent10 -> int6: the barbwire is not a continence if the fact that it is aerial and it does not look questioning does not hold.; int6 & sent18 -> int7: the barbwire is not a kind of a continence.; int7 -> int8: there is something such that it is not a continence.;
$hypothesis$ = the Western does look barbwire and is rocky. ; $context$ = sent1: there exists something such that it is not a Squalidae. sent2: something is rocky and it is uncontroversial if that it does not look locative is true. sent3: if something that is not likable is not a lowland then the mathematician does not look barbwire. sent4: there exists something such that it does not look barbwire and is not rocky. sent5: if the mathematician does not look barbwire that the Western look barbwire and it is rocky is not right. sent6: the Western is not a lowland. sent7: if the mathematician is not steroidal then the Western looks barbwire and it is bignoniaceous. sent8: that the mathematician looks barbwire and it is rocky is incorrect. sent9: the fact that the mathematician is heliacal and it forbids does not hold. sent10: something is not a kind of a continence if the fact that it is an aerial and it does not look questioning is not correct. sent11: if something that does not permit interface is not rocky then the mathematician is not an irrational. sent12: the mathematician is nonsteroidal if the fact that it is heliacal and it forbids is not right. sent13: there exists something such that it is not rocky. sent14: the mathematician is not a kind of a witchcraft. sent15: there is something such that it is both not likable and non-lowland. sent16: something does look barbwire but it is not rocky. sent17: there exists something such that it does not look barbwire. sent18: that the barbwire is a kind of aerial thing that does not look questioning is not correct. ; $proof$ = 
sent15 & sent3 -> int1: the mathematician does not look barbwire.; sent5 & int1 -> hypothesis; __DISPROVED__