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