the topping is not a kind of a Scaphosepalum.
sent1: something is a kind of a rout. sent2: if that the pellet is not a kind of an agua but it is a kind of a telecaster is incorrect it is an agua. sent3: the pellet clears web if that it is not considerate and is not a masterpiece is incorrect. sent4: the topping is a Scaphosepalum if something that is a voucher is a kind of an agua. sent5: that the pellet does not grease lobe and does not covet does not hold. sent6: that the fact that the pellet is not an agua but it is a telecaster does not hold is not false. sent7: if the fact that the pellet does not grease lobe and it does not covet is incorrect then it is a voucher.
sent7 & sent5 -> int1: the pellet is a voucher.; sent2 & sent6 -> int2: the pellet is an agua.; int1 & int2 -> int3: the pellet is a voucher and it is an agua.; int3 -> int4: something is a voucher and an agua.; int4 & sent4 -> hypothesis;
$hypothesis$ = the topping is not a kind of a Scaphosepalum. ; $context$ = sent1: something is a kind of a rout. sent2: if that the pellet is not a kind of an agua but it is a kind of a telecaster is incorrect it is an agua. sent3: the pellet clears web if that it is not considerate and is not a masterpiece is incorrect. sent4: the topping is a Scaphosepalum if something that is a voucher is a kind of an agua. sent5: that the pellet does not grease lobe and does not covet does not hold. sent6: that the fact that the pellet is not an agua but it is a telecaster does not hold is not false. sent7: if the fact that the pellet does not grease lobe and it does not covet is incorrect then it is a voucher. ; $proof$ = 
sent7 & sent5 -> int1: the pellet is a voucher.; sent2 & sent6 -> int2: the pellet is an agua.; int1 & int2 -> int3: the pellet is a voucher and it is an agua.; int3 -> int4: something is a voucher and an agua.; int4 & sent4 -> hypothesis; __DISPROVED__