The bald eagle likes the cat. The cat likes the tiger. The tiger is rough. If someone likes the bald eagle and the bald eagle is rough then the bald eagle likes the cat. If someone likes the tiger then the tiger eats the bald eagle. If the tiger likes the bald eagle then the tiger eats the bald eagle. If someone sees the tiger and the tiger eats the bald eagle then the tiger eats the cat. If someone eats the bald eagle then they see the tiger. If someone is rough then they see the cat. If someone eats the bald eagle and they do not eat the tiger then the tiger likes the cat. If the bald eagle eats the cat and the bald eagle does not eat the tiger then the bald eagle sees the tiger.
The tiger does not like the cat.
@0: The bald eagle likes the cat.[(triple1)] The cat likes the tiger.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger eats the bald eagle.[(((triple2) -> rule2))] The tiger sees the cat.[(((triple3) -> rule6))] @2: The tiger sees the tiger.[(((((triple2) -> rule2)) -> rule5))] @3: The tiger eats the cat.[(((((((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule4))]