the fact that the countertop does not hate mummy or does arise or both does not hold.
sent1: the countertop does not hate mummy if something that does not copy Laridae is not colorectal. sent2: if the fact that the countertop does arise is true it dominates mecca. sent3: the fact that the countertop does not hate mummy or it arises or both is incorrect if the mecca does glamorize glare. sent4: The glare does not glamorize mecca. sent5: the otterhound is exchangeable but it is not a kind of a Phanerogamae. sent6: the otterhound does dominate mecca if it is a kind of an embroidery. sent7: the mecca does not glamorize glare. sent8: the fact that the mecca sips but it is not a kind of a piaster does not hold if it does not glamorize glare. sent9: if there exists something such that that it is a kind of a sip that is not a piaster is incorrect the otterhound does not copy Laridae. sent10: something glamorizes glare if that it does not copy Laridae and/or is not colorectal is false. sent11: the otterhound is a kind of an embroidery. sent12: if something is exchangeable and it does dominate mecca the fact that it is colorectal does not hold.
sent8 & sent7 -> int1: the fact that the mecca does sip but it is not a kind of a piaster does not hold.; int1 -> int2: there exists something such that the fact that the fact that it is a sip and it is not a piaster hold does not hold.; int2 & sent9 -> int3: the otterhound does not copy Laridae.; sent12 -> int4: the otterhound is not colorectal if it is exchangeable and it does dominate mecca.; sent5 -> int5: the otterhound is exchangeable.; sent6 & sent11 -> int6: the fact that the otterhound dominates mecca hold.; int5 & int6 -> int7: the otterhound is exchangeable and dominates mecca.; int4 & int7 -> int8: the otterhound is not colorectal.; int3 & int8 -> int9: the otterhound does not copy Laridae and is not colorectal.; int9 -> int10: something does not copy Laridae and it is not colorectal.; int10 & sent1 -> int11: the countertop does not hate mummy.; int11 -> hypothesis;
the fact that the countertop does not hate mummy and/or arises is wrong.
sent10 -> int12: if that the mecca either does not copy Laridae or is not colorectal or both is false it does glamorize glare.;
$hypothesis$ = the fact that the countertop does not hate mummy or does arise or both does not hold. ; $context$ = sent1: the countertop does not hate mummy if something that does not copy Laridae is not colorectal. sent2: if the fact that the countertop does arise is true it dominates mecca. sent3: the fact that the countertop does not hate mummy or it arises or both is incorrect if the mecca does glamorize glare. sent4: The glare does not glamorize mecca. sent5: the otterhound is exchangeable but it is not a kind of a Phanerogamae. sent6: the otterhound does dominate mecca if it is a kind of an embroidery. sent7: the mecca does not glamorize glare. sent8: the fact that the mecca sips but it is not a kind of a piaster does not hold if it does not glamorize glare. sent9: if there exists something such that that it is a kind of a sip that is not a piaster is incorrect the otterhound does not copy Laridae. sent10: something glamorizes glare if that it does not copy Laridae and/or is not colorectal is false. sent11: the otterhound is a kind of an embroidery. sent12: if something is exchangeable and it does dominate mecca the fact that it is colorectal does not hold. ; $proof$ = 
sent8 & sent7 -> int1: the fact that the mecca does sip but it is not a kind of a piaster does not hold.; int1 -> int2: there exists something such that the fact that the fact that it is a sip and it is not a piaster hold does not hold.; int2 & sent9 -> int3: the otterhound does not copy Laridae.; sent12 -> int4: the otterhound is not colorectal if it is exchangeable and it does dominate mecca.; sent5 -> int5: the otterhound is exchangeable.; sent6 & sent11 -> int6: the fact that the otterhound dominates mecca hold.; int5 & int6 -> int7: the otterhound is exchangeable and dominates mecca.; int4 & int7 -> int8: the otterhound is not colorectal.; int3 & int8 -> int9: the otterhound does not copy Laridae and is not colorectal.; int9 -> int10: something does not copy Laridae and it is not colorectal.; int10 & sent1 -> int11: the countertop does not hate mummy.; int11 -> hypothesis; __DISPROVED__