The bear sees the cat. The cat eats the tiger. The lion is red. The tiger is rough. If someone is rough and they see the lion then they eat the cat. If someone sees the tiger then they eat the lion. If someone eats the lion and they see the lion then they eat the cat. If the lion chases the cat and the cat eats the lion then the cat chases the bear. If someone eats the tiger then the tiger sees the lion. If the tiger sees the bear then the bear is rough.
The bear sees the cat.
@0: The bear sees the cat.[(triple1)] The cat eats the tiger.[(triple2)] The lion is red.[(triple3)] The tiger is rough.[(triple4)] @1: The tiger sees the lion.[(((triple2) -> rule5))] @2: The tiger eats the cat.[(((triple4 ((triple2) -> rule5)) -> rule1))]