The tiger is cold. The tiger is kind. The tiger is nice. All young people are nice. All big, cold people are nice. If someone is kind and big then they are cold. If someone is kind and big then they are young. Young people are big. If someone is young and nice then they are kind. If someone is kind then they are nice. Kind people are big.
The tiger does not visit the tiger.
@0: The tiger is cold.[(triple1 OR ((triple2 ((triple2) -> rule8)) -> rule3))] The tiger is kind.[(triple2)] The tiger is nice.[(triple3 OR ((triple2) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule2) OR ((((triple2 ((triple2) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule8) ((triple2 ((triple2) -> rule8)) -> rule3)) -> rule2))] @1: The tiger is big.[(((triple2) -> rule8))] @2: The tiger is young.[(((triple2 ((triple2) -> rule8)) -> rule4))]