The bald eagle is rough. The cat eats the bald eagle. The cat eats the dog. The cat likes the bald eagle. The dog chases the tiger. The dog eats the bald eagle. The dog is rough. The dog likes the cat. The dog likes the tiger. The tiger chases the bald eagle. The tiger chases the dog. The tiger eats the cat. The tiger is kind. The tiger likes the bald eagle. The tiger likes the cat. The tiger likes the dog. If someone eats the cat and the cat is kind then they like the dog. If someone likes the dog and they eat the dog then they chase the bald eagle. If someone eats the dog and the dog eats the cat then they eat the tiger. If someone is green and young then they are rough. If someone likes the tiger then the tiger is rough. If someone chases the cat then they eat the cat. If someone likes the cat then they chase the tiger. If someone eats the dog then the dog likes the cat.
The cat likes the bald eagle.
@0: The bald eagle is rough.[(triple1)] The cat eats the bald eagle.[(triple2)] The cat eats the dog.[(triple3)] The cat likes the bald eagle.[(triple4)] The dog chases the tiger.[(triple5 OR ((triple8) -> rule7) OR ((((triple3) -> rule8)) -> rule7))] The dog eats the bald eagle.[(triple6)] The dog is rough.[(triple7)] The dog likes the cat.[(triple8 OR ((triple3) -> rule8))] The dog likes the tiger.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the dog.[(triple11)] The tiger eats the cat.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the cat.[(triple15)] The tiger likes the dog.[(triple16)] @1: The tiger chases the tiger.[(((triple15) -> rule7))] The tiger is rough.[(((triple9) -> rule5))]