The bald eagle eats the cat. The bald eagle eats the lion. The cat does not chase the rabbit. The cat is not big. The cat does not like the lion. The lion is cold. The lion is round. The rabbit chases the lion. The rabbit does not eat the bald eagle. The rabbit eats the lion. The rabbit is red. The rabbit likes the bald eagle. If someone is cold then they do not chase the bald eagle. If the lion chases the cat and the cat eats the rabbit then the cat is not red. If someone is round and they do not chase the bald eagle then they do not like the lion.
The lion does not eat the lion.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the lion.[(triple2)] The cat does not chase the rabbit.[(triple3)] The cat does not like the lion.[(triple5)] The cat is not big.[(triple4)] The lion is cold.[(triple6)] The lion is round.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit does not eat the bald eagle.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the bald eagle.[(triple12)] @1: The lion does not chase the bald eagle.[(((triple6) -> rule1))] @2: The lion does not like the lion.[(((triple7 ((triple6) -> rule1)) -> rule3))]