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