The tiger is not green. The tiger is not red. The tiger is rough. If something is kind and nice then it is green. All red things are nice. All rough things are nice. If something is rough and not kind then it is nice. If something is red and nice then it is rough. If the tiger is red then the tiger is green.
The tiger is green.
@0: The tiger is not green.[(triple1)] The tiger is not red.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is nice.[(((triple3) -> rule3))]