The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle likes the dog. The bald eagle likes the tiger. The dog is young. The lion chases the tiger. The lion is green. The lion likes the tiger. The tiger eats the dog. The tiger eats the lion. If someone is young then they chase the tiger. If someone eats the lion then the lion eats the bald eagle. If someone eats the bald eagle and they chase the tiger then the tiger is cold. If someone likes the tiger and the tiger chases the bald eagle then they like the bald eagle. If someone likes the bald eagle and the bald eagle eats the tiger then they chase the lion. If someone eats the lion and the lion eats the bald eagle then they are cold.
The tiger likes the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the tiger.[(triple4)] The dog is young.[(triple5)] The lion chases the tiger.[(triple6)] The lion is green.[(triple7)] The lion likes the tiger.[(triple8)] The tiger eats the dog.[(triple9)] The tiger eats the lion.[(triple10)] @1: The dog chases the tiger.[(((triple5) -> rule1))] The lion eats the bald eagle.[(((triple10) -> rule2) OR ((triple2) -> rule2))] @2: The bald eagle is cold.[(((triple2 ((triple10) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule6))] The tiger is cold.[(((triple10 ((triple10) -> rule2)) -> rule6) OR ((triple10 ((triple2) -> rule2)) -> rule6) OR ((((triple10) -> rule2) triple6) -> rule3) OR ((((triple2) -> rule2) triple6) -> rule3))]