The cat is blue. The cat is green. The cat is rough. The cat is not round. The cat is not young. Round people are not young. Round, green people are young. If someone is rough and not round then they are green.
The cat is not round.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2 OR ((triple3 triple4) -> rule3))] The cat is not round.[(triple4)] The cat is not young.[(triple5)] The cat is rough.[(triple3)]