The tiger is nice. If the tiger is nice and the tiger is green then the tiger is not rough. All rough people are green. If someone is nice then they are green. If someone is green and kind then they are cold. All nice, cold people are kind. If the tiger is nice and the tiger is not rough then the tiger is cold.
The tiger does not visit the tiger.
@0: The tiger is nice.[(triple1)] @1: The tiger is green.[(((triple1) -> rule3))] @2: The tiger is not rough.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The tiger is cold.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule6))] @4: The tiger is kind.[(((triple1 ((triple1 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule5))]