The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle eats the lion. The cat chases the bald eagle. The cat eats the bald eagle. The cat is not big. The cat is kind. The cat is young. The cat does not like the bald eagle. The lion eats the cat. The lion is big. The lion likes the cat. If someone is kind then they like the lion. All kind, young people are not rough. If someone eats the cat then they are not rough. If someone chases the lion then they are kind. If someone likes the lion then they eat the lion. If someone likes the bald eagle then the bald eagle eats the lion. If someone is young and they do not eat the lion then they are big. If someone eats the lion and they are not big then the lion chases the bald eagle.
The bald eagle likes the lion.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle eats the lion.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not like the bald eagle.[(triple9)] The cat eats the bald eagle.[(triple5)] The cat is kind.[(triple7)] The cat is not big.[(triple6)] The cat is young.[(triple8)] The lion eats the cat.[(triple10)] The lion is big.[(triple11)] The lion likes the cat.[(triple12)] @1: The cat is not rough.[(((triple7 triple8) -> rule2))] The cat likes the lion.[(((triple7) -> rule1))] The lion is not rough.[(((triple10) -> rule3))] @2: The cat eats the lion.[(((((triple7) -> rule1)) -> rule5))] @3: The lion chases the bald eagle.[(((((((triple7) -> rule1)) -> rule5) triple6) -> rule8))]