The cat is green. The cat is kind. The cat is nice. The cat is red. The cat is young. Nice, red people are young. If the cat is not nice then the cat is not young. If someone is nice and not kind then they are green.
The cat does not chase the cat.
@0: The cat is green.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5 OR ((triple3 triple4) -> rule1))]