Assertion: consequence | /r/HasProperty | invalid
Facets:
Source sentences:
text: If this consequence is valid, then it has a necessary antecedent and a false consequent (since the consequent says that it is invalid).