The tiger is blue. The tiger is cold. The tiger is kind. All cold things are blue. Young things are kind. If the tiger is cold then the tiger is kind. If something is kind and cold then it is blue. Kind, blue things are nice. All kind things are young.
The tiger does not need the tiger.
@0: The tiger is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple3 triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] The tiger is cold.[(triple2)] The tiger is kind.[(triple3 OR ((triple2) -> rule3))] @1: The tiger is nice.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple2) -> rule1)) -> rule5) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule5) OR ((((triple2) -> rule3) triple1) -> rule5) OR ((((triple2) -> rule3) ((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule3) ((triple3 triple2) -> rule4)) -> rule5) OR ((triple3 ((((triple2) -> rule3) triple2) -> rule4)) -> rule5) OR ((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule4)) -> rule5))] The tiger is young.[(((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))]