The bald eagle chases the cat. The bald eagle likes the mouse. The cat chases the mouse. The cat chases the tiger. The cat likes the tiger. The cat sees the mouse. The mouse chases the bald eagle. The mouse is rough. The mouse likes the bald eagle. The mouse likes the tiger. The tiger is kind. The tiger is red. If someone likes the mouse then they are rough. If the bald eagle sees the tiger and the tiger is big then the tiger chases the mouse. If someone is rough then they like the cat.
The tiger does not see the tiger.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cat chases the mouse.[(triple3)] The cat chases the tiger.[(triple4)] The cat likes the tiger.[(triple5)] The cat sees the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is rough.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse likes the tiger.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] @1: The bald eagle is rough.[(((triple2) -> rule1))] The mouse likes the cat.[(((triple8) -> rule3))] @2: The bald eagle likes the cat.[(((((triple2) -> rule1)) -> rule3))]