The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is rough. The bald eagle is round. The cat chases the bald eagle. The cat chases the dog. The cat is big. The cat likes the bald eagle. The dog eats the bald eagle. The dog eats the cat. The tiger eats the cat. The tiger likes the bald eagle. The tiger likes the dog. If someone eats the tiger then the tiger is big. If someone eats the bald eagle then they are rough. If someone is round and they chase the bald eagle then they eat the dog.
The dog likes the dog.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the dog.[(triple8)] The cat is big.[(triple9)] The cat likes the bald eagle.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog eats the cat.[(triple12)] The tiger eats the cat.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the dog.[(triple15)] @1: The dog is rough.[(((triple11) -> rule2))] The tiger is big.[(((triple3) -> rule1))]