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