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