The bald eagle is kind. The bald eagle is red. The bear eats the tiger. The bear is round. The bear likes the bald eagle. The bear sees the lion. The lion eats the tiger. The lion is cold. The lion sees the tiger. The tiger is not nice. The tiger likes the bald eagle. The tiger sees the bald eagle. If something is kind then it likes the bear. If something is nice then it likes the tiger. If something eats the lion then it does not like the tiger. If the bald eagle likes the lion and the bald eagle sees the tiger then the lion is red. If something eats the bald eagle then the bald eagle does not see the bear. If something sees the tiger then the tiger likes the lion. If something eats the bear and it is round then it is nice. If something eats the tiger and it likes the bear then the bear is kind. If something likes the lion then the lion is kind.
The bald eagle is not kind.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bear eats the tiger.[(triple3)] The bear is round.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear sees the lion.[(triple6)] The lion eats the tiger.[(triple7)] The lion is cold.[(triple8)] The lion sees the tiger.[(triple9)] The tiger is not nice.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle likes the bear.[(((triple1) -> rule1))] The tiger likes the lion.[(((triple9) -> rule6))] @2: The lion is kind.[(((((triple9) -> rule6)) -> rule9))] @3: The lion likes the bear.[(((((((triple9) -> rule6)) -> rule9)) -> rule1))] @4: The bear is kind.[(((triple7 ((((((triple9) -> rule6)) -> rule9)) -> rule1)) -> rule8))] @5: The bear likes the bear.[(((((triple7 ((((((triple9) -> rule6)) -> rule9)) -> rule1)) -> rule8)) -> rule1))]