The tiger is green. The tiger is kind. The tiger is not young. If someone is blue and not kind then they are green. If someone is green and kind then they are not young. If the tiger is nice and the tiger is not green then the tiger is young. If someone is kind and not blue then they are not nice. If someone is blue and not green then they are nice. If someone is kind and not blue then they are nice.
The tiger is young.
@0: The tiger is green.[(triple1)] The tiger is kind.[(triple2)] The tiger is not young.[(triple3 OR ((triple1 triple2) -> rule2))]