The bald eagle chases the cow. The bald eagle is not round. The bald eagle likes the tiger. The cow chases the bald eagle. The cow does not eat the bald eagle. The cow is not red. The cow is young. The lion eats the tiger. The lion is blue. The lion likes the bald eagle. The tiger eats the lion. The tiger likes the lion. If someone is young and red then they eat the tiger. If someone is young then they chase the tiger. If someone is blue then they are red. If someone chases the tiger and they like the bald eagle then they like the tiger. If someone is young then they like the tiger. If the tiger chases the bald eagle and the tiger eats the bald eagle then the bald eagle eats the cow. If the bald eagle chases the cow and the bald eagle does not like the tiger then the bald eagle chases the lion. If someone is green and they do not eat the tiger then they do not eat the bald eagle.
The cow likes the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow does not eat the bald eagle.[(triple5)] The cow is not red.[(triple6)] The cow is young.[(triple7)] The lion eats the tiger.[(triple8)] The lion is blue.[(triple9)] The lion likes the bald eagle.[(triple10)] The tiger eats the lion.[(triple11)] The tiger likes the lion.[(triple12)] @1: The cow chases the tiger.[(((triple7) -> rule2))] The cow likes the tiger.[(((triple7) -> rule5))] The lion is red.[(((triple9) -> rule3))]