The bald eagle eats the dog. The dog chases the bald eagle. The dog eats the lion. The dog is cold. The dog is round. The lion chases the dog. The lion eats the bald eagle. The tiger eats the dog. The tiger is blue. The tiger is round. If something is cold then it is young. Blue things are cold. If something is young and not cold then it is kind.
The tiger is young.
@0: The bald eagle eats the dog.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog eats the lion.[(triple3)] The dog is cold.[(triple4)] The dog is round.[(triple5)] The lion chases the dog.[(triple6)] The lion eats the bald eagle.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is blue.[(triple9)] The tiger is round.[(triple10)] @1: The dog is young.[(((triple4) -> rule1))] The tiger is cold.[(((triple9) -> rule2))] @2: The tiger is young.[(((((triple9) -> rule2)) -> rule1))]