the bumboat is not pediatric.
sent1: if something is not semantic it does not immigrate and it is not a kind of a grange. sent2: the eraser is semantic. sent3: if something that is a grange immigrates the fact that the eraser is a methocarbamol is not incorrect. sent4: the ranker immigrates. sent5: the ranker is a kind of a grange that does visa clianthus. sent6: everything does not clear goldfields and is a kind of a glassware. sent7: the ranker is not pediatric if it does not immigrate and is not a grange. sent8: if there exists something such that it is a methocarbamol that is semantic then the bumboat is pediatric.
sent5 -> int1: the ranker is a grange.; int1 & sent4 -> int2: the ranker is a grange and it does immigrate.; int2 -> int3: there exists something such that it is a grange that immigrates.; int3 & sent3 -> int4: the eraser is a kind of a methocarbamol.; int4 & sent2 -> int5: the eraser is a kind of a methocarbamol and it is semantic.; int5 -> int6: there is something such that it is a methocarbamol and it is semantic.; int6 & sent8 -> hypothesis;
the bumboat is not pediatric.
sent1 -> int7: the austenite does not immigrate and it is not a grange if that it is not semantic hold.; sent6 -> int8: the goldfields does not clear goldfields but it is a glassware.; int8 -> int9: the goldfields does not clear goldfields.; int9 -> int10: everything does not clear goldfields.; int10 -> int11: the eraser does not clear goldfields.;
$hypothesis$ = the bumboat is not pediatric. ; $context$ = sent1: if something is not semantic it does not immigrate and it is not a kind of a grange. sent2: the eraser is semantic. sent3: if something that is a grange immigrates the fact that the eraser is a methocarbamol is not incorrect. sent4: the ranker immigrates. sent5: the ranker is a kind of a grange that does visa clianthus. sent6: everything does not clear goldfields and is a kind of a glassware. sent7: the ranker is not pediatric if it does not immigrate and is not a grange. sent8: if there exists something such that it is a methocarbamol that is semantic then the bumboat is pediatric. ; $proof$ = 
sent5 -> int1: the ranker is a grange.; int1 & sent4 -> int2: the ranker is a grange and it does immigrate.; int2 -> int3: there exists something such that it is a grange that immigrates.; int3 & sent3 -> int4: the eraser is a kind of a methocarbamol.; int4 & sent2 -> int5: the eraser is a kind of a methocarbamol and it is semantic.; int5 -> int6: there is something such that it is a methocarbamol and it is semantic.; int6 & sent8 -> hypothesis; __DISPROVED__