The tiger is cold. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. Cold, rough things are young. All rough, green things are young. If something is cold and not nice then it is young. If the tiger is rough and the tiger is not nice then the tiger is cold. If the tiger is young and the tiger is not nice then the tiger is not cold. If something is young then it is rough. If something is young then it is rough. Green, young things are cold.
The tiger visits the tiger.
@0: The tiger is cold.[(triple1 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple4 triple2) -> rule2)) -> rule8))] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple5) -> rule6) OR ((triple5) -> rule7))] The tiger is young.[(triple5 OR ((triple1 triple4) -> rule1) OR ((triple4 triple2) -> rule2))]