The lion is red. The lion likes the rabbit. The lion visits the rabbit. The lion visits the tiger. The rabbit visits the tiger. The tiger eats the lion. The tiger is kind. If someone is big and they eat the rabbit then they visit the lion. If someone visits the tiger then the tiger is red. If someone visits the rabbit and the rabbit likes the tiger then the rabbit does not eat the tiger. If someone visits the rabbit and the rabbit does not eat the lion then the lion is nice. If the rabbit likes the tiger then the tiger visits the lion. If someone is rough and they do not eat the tiger then the tiger likes the lion.
The lion is rough.
@0: The lion is red.[(triple1)] The lion likes the rabbit.[(triple2)] The lion visits the rabbit.[(triple3)] The lion visits the tiger.[(triple4)] The rabbit visits the tiger.[(triple5)] The tiger eats the lion.[(triple6)] The tiger is kind.[(triple7)] @1: The tiger is red.[(((triple4) -> rule2) OR ((triple5) -> rule2))]