the fact that there is something such that if it is not a Alar and/or pages Gretzky it is a pye-dog is wrong.
sent1: if something does not overrefine wetland and/or it is a Vinson then it does overrefine bombsight. sent2: something is a pye-dog if either it is not a Alar or it does page Gretzky or both. sent3: if something pages Gretzky then it is a pye-dog. sent4: there exists something such that if it is a kind of a Malamud then it bans. sent5: there exists something such that if it is not celebratory and/or it is a crack then it is a kaolin. sent6: there is something such that if it pages Higginson and/or it is a licentiousness it pages stodginess. sent7: something that is a kind of a Alar and/or pages Gretzky is a pye-dog. sent8: the humanitarian overrefines Gogol if either it is a Alar or it is a Pipistrellus or both. sent9: if something is incredible it is a kind of a halocarbon.
sent2 -> int1: that if the bombsight is not a kind of the Alar or it does page Gretzky or both then the bombsight is a pye-dog is not false.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a Alar and/or pages Gretzky it is a pye-dog is wrong. ; $context$ = sent1: if something does not overrefine wetland and/or it is a Vinson then it does overrefine bombsight. sent2: something is a pye-dog if either it is not a Alar or it does page Gretzky or both. sent3: if something pages Gretzky then it is a pye-dog. sent4: there exists something such that if it is a kind of a Malamud then it bans. sent5: there exists something such that if it is not celebratory and/or it is a crack then it is a kaolin. sent6: there is something such that if it pages Higginson and/or it is a licentiousness it pages stodginess. sent7: something that is a kind of a Alar and/or pages Gretzky is a pye-dog. sent8: the humanitarian overrefines Gogol if either it is a Alar or it is a Pipistrellus or both. sent9: if something is incredible it is a kind of a halocarbon. ; $proof$ = 
sent2 -> int1: that if the bombsight is not a kind of the Alar or it does page Gretzky or both then the bombsight is a pye-dog is not false.; int1 -> hypothesis; __DISPROVED__