that the orderly is a kind of a ornateness if the wreck is near is false.
sent1: if the orderly is near then the wreck is a kind of a ornateness. sent2: if the wreck is not a laughing then the salvage is not near. sent3: if that the salvage is not near is right then the wreck is not a kind of a laughing. sent4: the wreck does laugh if the salvage is near. sent5: the impairer is not a ornateness. sent6: the orderly is a ornateness if the salvage is a laughing. sent7: if something is not near then it is not a laughing. sent8: the wreck is a meet. sent9: the wreck is not a ornateness if the orderly is not near. sent10: if a laughing is not near it is a ornateness. sent11: the terrapin is near. sent12: the wreck is not a arcella but it does investigate cybersex. sent13: the wreck is a ornateness. sent14: if the salvage is not a laughing the wreck is non-near. sent15: the wreck is near if the salvage is not a laughing. sent16: if something is a kind of a closet then it does laugh and is not near.
void -> assump2: Let's assume that the wreck is near.; void -> assump1: Let's assume that the salvage is not a laughing.; sent14 & assump1 -> int1: the wreck is not near.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the salvage does laugh.; sent6 & int3 -> int4: the orderly is a ornateness.; [assump2] & int4 -> hypothesis;
that the impairer is not a laughing is not incorrect.
sent7 -> int5: the impairer is not a laughing if it is not near.; sent12 -> int6: there is something such that it is not a kind of a arcella and it does investigate cybersex.;
$hypothesis$ = that the orderly is a kind of a ornateness if the wreck is near is false. ; $context$ = sent1: if the orderly is near then the wreck is a kind of a ornateness. sent2: if the wreck is not a laughing then the salvage is not near. sent3: if that the salvage is not near is right then the wreck is not a kind of a laughing. sent4: the wreck does laugh if the salvage is near. sent5: the impairer is not a ornateness. sent6: the orderly is a ornateness if the salvage is a laughing. sent7: if something is not near then it is not a laughing. sent8: the wreck is a meet. sent9: the wreck is not a ornateness if the orderly is not near. sent10: if a laughing is not near it is a ornateness. sent11: the terrapin is near. sent12: the wreck is not a arcella but it does investigate cybersex. sent13: the wreck is a ornateness. sent14: if the salvage is not a laughing the wreck is non-near. sent15: the wreck is near if the salvage is not a laughing. sent16: if something is a kind of a closet then it does laugh and is not near. ; $proof$ = 
void -> assump2: Let's assume that the wreck is near.; void -> assump1: Let's assume that the salvage is not a laughing.; sent14 & assump1 -> int1: the wreck is not near.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the salvage does laugh.; sent6 & int3 -> int4: the orderly is a ornateness.; [assump2] & int4 -> hypothesis; __DISPROVED__