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