The bald eagle does not like the lion. The bald eagle does not visit the tiger. The lion is red. The lion sees the bald eagle. The lion sees the tiger. The lion visits the tiger. The tiger is not green. The tiger is not rough. The tiger does not like the bald eagle. The tiger likes the lion. The tiger sees the lion. The tiger visits the bald eagle. If something is red then it likes the tiger. If something likes the tiger then the tiger does not visit the lion.
The bald eagle does not like the bald eagle.
@0: The bald eagle does not like the lion.[(triple1)] The bald eagle does not visit the tiger.[(triple2)] The lion is red.[(triple3)] The lion sees the bald eagle.[(triple4)] The lion sees the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger does not like the bald eagle.[(triple9)] The tiger is not green.[(triple7)] The tiger is not rough.[(triple8)] The tiger likes the lion.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The lion likes the tiger.[(((triple3) -> rule1))] @2: The tiger does not visit the lion.[(((((triple3) -> rule1)) -> rule2))]