Assertion: root's number | /r/HasProperty | contradiction
Facets:
Source sentences:
text: But now the factor 2 appears an odd number of times on the right, but an even number of times on the left, a contradiction.