The lion eats the tiger. The lion sees the tiger. The tiger eats the lion. If the lion sees the tiger and the tiger sees the lion then the lion eats the tiger. If someone is green then they visit the lion. If someone sees the tiger then they see the lion. If someone visits the tiger then the tiger is rough. If someone sees the tiger then they are big. If someone sees the tiger then they are rough.
The tiger is not rough.
@0: The lion eats the tiger.[(triple1)] The lion sees the tiger.[(triple2)] The tiger eats the lion.[(triple3)] @1: The lion is big.[(((triple2) -> rule5))] The lion is rough.[(((triple2) -> rule6))] The lion sees the lion.[(((triple2) -> rule3))]