that if the lattice is an antifreeze then the arthropod is not a chewink is incorrect.
sent1: the arthropod is not a kind of a chewink if that the huarache does not recast antimeson and/or is not a kind of a drawers is wrong. sent2: the fact that the arthropod either does not recast antimeson or is not a chewink or both is false. sent3: the lattice is a kind of a drawers if the huarache is an antifreeze. sent4: if something is an antifreeze the fact that the huarache does not recast antimeson and/or is not a drawers is wrong. sent5: the arthropod is a chewink if the fact that the huarache either does not recast antimeson or is not a drawers or both does not hold. sent6: the fact that if the fact that the huarache does not recast antimeson and/or it is a drawers is not true the arthropod is not a chewink is not wrong. sent7: the huarache does not recast antimeson if that the arthropod is not a chewink and/or it is not a kind of a drawers is not correct. sent8: the arthropod is a chewink. sent9: if the fact that the lattice does recast antimeson hold then the huarache is an antifreeze. sent10: something is a Benchley. sent11: if there is something such that it is a kind of a drawers the fact that the arthropod does not recast antimeson or it is not a chewink or both is wrong. sent12: the huarache is not horse-drawn. sent13: if the fact that the huarache recasts antimeson and/or it is not a drawers is false the arthropod is not a kind of a chewink. sent14: the bathrobe does not recast antimeson. sent15: if the huarache is a chewink the arthropod is a drawers.
void -> assump1: Let's assume that the fact that the lattice is an antifreeze is not incorrect.; assump1 -> int1: there is something such that the fact that it is an antifreeze is right.; int1 & sent4 -> int2: the fact that the huarache does not recast antimeson or it is not a kind of a drawers or both is false.; int2 & sent1 -> int3: the arthropod is not a kind of a chewink.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the lattice is an antifreeze then the arthropod is not a chewink is incorrect. ; $context$ = sent1: the arthropod is not a kind of a chewink if that the huarache does not recast antimeson and/or is not a kind of a drawers is wrong. sent2: the fact that the arthropod either does not recast antimeson or is not a chewink or both is false. sent3: the lattice is a kind of a drawers if the huarache is an antifreeze. sent4: if something is an antifreeze the fact that the huarache does not recast antimeson and/or is not a drawers is wrong. sent5: the arthropod is a chewink if the fact that the huarache either does not recast antimeson or is not a drawers or both does not hold. sent6: the fact that if the fact that the huarache does not recast antimeson and/or it is a drawers is not true the arthropod is not a chewink is not wrong. sent7: the huarache does not recast antimeson if that the arthropod is not a chewink and/or it is not a kind of a drawers is not correct. sent8: the arthropod is a chewink. sent9: if the fact that the lattice does recast antimeson hold then the huarache is an antifreeze. sent10: something is a Benchley. sent11: if there is something such that it is a kind of a drawers the fact that the arthropod does not recast antimeson or it is not a chewink or both is wrong. sent12: the huarache is not horse-drawn. sent13: if the fact that the huarache recasts antimeson and/or it is not a drawers is false the arthropod is not a kind of a chewink. sent14: the bathrobe does not recast antimeson. sent15: if the huarache is a chewink the arthropod is a drawers. ; $proof$ = 
void -> assump1: Let's assume that the fact that the lattice is an antifreeze is not incorrect.; assump1 -> int1: there is something such that the fact that it is an antifreeze is right.; int1 & sent4 -> int2: the fact that the huarache does not recast antimeson or it is not a kind of a drawers or both is false.; int2 & sent1 -> int3: the arthropod is not a kind of a chewink.; [assump1] & int3 -> hypothesis; __DISPROVED__