The tiger is not blue. The tiger is nice. The tiger is young. If the tiger is green then the tiger is red. If the tiger is nice and the tiger is young then the tiger is red. All blue, red people are nice. If someone is blue and not young then they are red. All nice people are green. If the tiger is not blue then the tiger is green.
The tiger is not green.
@0: The tiger is nice.[(triple2)] The tiger is not blue.[(triple1)] The tiger is young.[(triple3)] @1: The tiger is green.[(((triple1) -> rule6) OR ((triple2) -> rule5))] The tiger is red.[(((triple2 triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple2) -> rule5)) -> rule1))]