The tiger is cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. If the tiger is nice and the tiger is young then the tiger is rough. If someone is nice then they are kind. If someone is young and not kind then they are not rough. All rough people are cold. If the tiger is young then the tiger is cold. If the tiger is kind and the tiger is not rough then the tiger is cold.
The tiger likes the tiger.
@0: The tiger is cold.[(triple1 OR ((triple4) -> rule4) OR ((triple5) -> rule5) OR ((((triple3 triple5) -> rule1)) -> rule4))] The tiger is kind.[(triple2 OR ((triple3) -> rule2))] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple3 triple5) -> rule1))] The tiger is young.[(triple5)]