The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. If the tiger is red then the tiger is green. Nice people are green. If someone is blue then they are green. If someone is red then they are nice. If someone is red and not blue then they are not kind. If someone is green and not nice then they are kind.
The tiger eats the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple1) -> rule3) OR ((triple4) -> rule2) OR ((triple5) -> rule1) OR ((((triple5) -> rule4)) -> rule2))] The tiger is kind.[(triple3)] The tiger is nice.[(triple4 OR ((triple5) -> rule4))] The tiger is red.[(triple5)]