The tiger is blue. The tiger is green. The tiger is young. Cold, young people are green. If someone is young and blue then they are kind. Blue people are young.
The tiger is blue.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is young.[(triple3 OR ((triple1) -> rule3))] @1: The tiger is kind.[(((triple3 triple1) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule2))]