that something does not own Pteridium and does deaminate archidiaconate is wrong.
sent1: the caseworm is not a lacrosse. sent2: the fact that the imbrication does not deaminate archidiaconate hold. sent3: the naprapath is not sexual if the outskirts does suffocate and it owns Pteridium. sent4: the naprapath is a lacrosse. sent5: the fact that the spearfish does not impoverish is right. sent6: the outskirts is a lacrosse. sent7: the fact that the caseworm is a lacrosse if the naprapath is not sexual is correct. sent8: if the spearfish deaminates archidiaconate then the outskirts does deaminates archidiaconate. sent9: the spearfish is not a kind of a crabs and does own Pteridium. sent10: The archidiaconate deaminates spearfish. sent11: there exists something such that it is a Guatemalan. sent12: something does deaminate archidiaconate. sent13: there is something such that it does not suffocate and deaminates archidiaconate. sent14: the outskirts is a patty. sent15: there is something such that it does not own Pteridium. sent16: the spearfish deaminates archidiaconate. sent17: the outskirts impoverishes. sent18: the outskirts impoverishes and does suffocate. sent19: the spearfish does suffocate.
sent18 -> int1: the outskirts does suffocate.; void -> assump1: Let's assume that the outskirts owns Pteridium.; int1 & assump1 -> int2: the outskirts suffocates and owns Pteridium.; int2 & sent3 -> int3: the naprapath is not sexual.; int3 & sent7 -> int4: the caseworm is a kind of a lacrosse.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the outskirts does not own Pteridium.; sent8 & sent16 -> int7: the outskirts does deaminate archidiaconate.; int6 & int7 -> int8: the outskirts does not own Pteridium and does deaminate archidiaconate.; int8 -> hypothesis;
$hypothesis$ = that something does not own Pteridium and does deaminate archidiaconate is wrong. ; $context$ = sent1: the caseworm is not a lacrosse. sent2: the fact that the imbrication does not deaminate archidiaconate hold. sent3: the naprapath is not sexual if the outskirts does suffocate and it owns Pteridium. sent4: the naprapath is a lacrosse. sent5: the fact that the spearfish does not impoverish is right. sent6: the outskirts is a lacrosse. sent7: the fact that the caseworm is a lacrosse if the naprapath is not sexual is correct. sent8: if the spearfish deaminates archidiaconate then the outskirts does deaminates archidiaconate. sent9: the spearfish is not a kind of a crabs and does own Pteridium. sent10: The archidiaconate deaminates spearfish. sent11: there exists something such that it is a Guatemalan. sent12: something does deaminate archidiaconate. sent13: there is something such that it does not suffocate and deaminates archidiaconate. sent14: the outskirts is a patty. sent15: there is something such that it does not own Pteridium. sent16: the spearfish deaminates archidiaconate. sent17: the outskirts impoverishes. sent18: the outskirts impoverishes and does suffocate. sent19: the spearfish does suffocate. ; $proof$ = 
sent18 -> int1: the outskirts does suffocate.; void -> assump1: Let's assume that the outskirts owns Pteridium.; int1 & assump1 -> int2: the outskirts suffocates and owns Pteridium.; int2 & sent3 -> int3: the naprapath is not sexual.; int3 & sent7 -> int4: the caseworm is a kind of a lacrosse.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the outskirts does not own Pteridium.; sent8 & sent16 -> int7: the outskirts does deaminate archidiaconate.; int6 & int7 -> int8: the outskirts does not own Pteridium and does deaminate archidiaconate.; int8 -> hypothesis; __DISPROVED__