the earshot does not scavenge and claps grabber.
sent1: that the brickyard is not non-glacial but non-intrapulmonary does not hold. sent2: something claps grabber if it blacktops. sent3: if there exists something such that that it is a kind of a blacktop and it is not a kind of a mangrove is false then the earshot is not a blacktop. sent4: that the earshot scavenges and it claps grabber is not true. sent5: there is something such that the fact that it is a blacktop and it is not a mangrove is false. sent6: if there is something such that the fact that it does blacktop and it does not skateboard does not hold the fact that the Ahuehuete is not a kind of a blacktop is correct. sent7: that something does not scavenge and claps grabber is wrong if it is not a blacktop. sent8: if there exists something such that it does not blacktop the earshot is not a blacktop. sent9: something that is not a waverer is not auroral but a mangrove. sent10: the earshot does not scavenge if there is something such that that it is glacial but not intrapulmonary is false. sent11: there exists something such that that it is a blacktop and it is a mangrove is false. sent12: something is a blacktop but it is not a mangrove. sent13: that the earshot scavenges and it does clap grabber is not true if it does not blacktop. sent14: the fact that something does scavenge and it claps grabber is incorrect if it is not a kind of a blacktop. sent15: the fact that the earshot does blacktop is not false if it is not auroral and it is a mangrove.
sent7 -> int1: the fact that the earshot does not scavenge but it does clap grabber does not hold if it is not a blacktop.; sent5 & sent3 -> int2: the earshot is not a kind of a blacktop.; int1 & int2 -> hypothesis;
the earshot does not scavenge and claps grabber.
sent1 -> int3: there is something such that the fact that it is glacial and it is not intrapulmonary does not hold.; int3 & sent10 -> int4: the earshot does not scavenge.; sent2 -> int5: if the earshot is a blacktop then it does clap grabber.; sent9 -> int6: the earshot is both non-auroral and a mangrove if it is not a waverer.;
$hypothesis$ = the earshot does not scavenge and claps grabber. ; $context$ = sent1: that the brickyard is not non-glacial but non-intrapulmonary does not hold. sent2: something claps grabber if it blacktops. sent3: if there exists something such that that it is a kind of a blacktop and it is not a kind of a mangrove is false then the earshot is not a blacktop. sent4: that the earshot scavenges and it claps grabber is not true. sent5: there is something such that the fact that it is a blacktop and it is not a mangrove is false. sent6: if there is something such that the fact that it does blacktop and it does not skateboard does not hold the fact that the Ahuehuete is not a kind of a blacktop is correct. sent7: that something does not scavenge and claps grabber is wrong if it is not a blacktop. sent8: if there exists something such that it does not blacktop the earshot is not a blacktop. sent9: something that is not a waverer is not auroral but a mangrove. sent10: the earshot does not scavenge if there is something such that that it is glacial but not intrapulmonary is false. sent11: there exists something such that that it is a blacktop and it is a mangrove is false. sent12: something is a blacktop but it is not a mangrove. sent13: that the earshot scavenges and it does clap grabber is not true if it does not blacktop. sent14: the fact that something does scavenge and it claps grabber is incorrect if it is not a kind of a blacktop. sent15: the fact that the earshot does blacktop is not false if it is not auroral and it is a mangrove. ; $proof$ = 
sent7 -> int1: the fact that the earshot does not scavenge but it does clap grabber does not hold if it is not a blacktop.; sent5 & sent3 -> int2: the earshot is not a kind of a blacktop.; int1 & int2 -> hypothesis; __DISPROVED__