The lion is rough. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is round. The tiger sees the lion. The tiger visits the lion. If someone is cold and they eat the lion then the lion sees the tiger. If someone visits the tiger and they are rough then they eat the lion.
The tiger sees the lion.
@0: The lion is rough.[(triple1)] The tiger eats the lion.[(triple2)] The tiger is big.[(triple3)] The tiger is cold.[(triple4)] The tiger is round.[(triple5)] The tiger sees the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The lion sees the tiger.[(((triple4 triple2) -> rule1))]