The bald eagle is round. The bald eagle needs the cat. The bald eagle visits the lion. The cat is kind. The cat is red. The cat likes the bald eagle. The cat likes the lion. The cat does not visit the lion. The lion is red. The lion is round. The lion likes the bald eagle. The lion needs the bald eagle. If someone likes the lion then the lion visits the cat. If someone is round then they like the lion. If someone needs the bald eagle and they need the lion then the lion is kind.
The lion is round.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle visits the lion.[(triple3)] The cat does not visit the lion.[(triple8)] The cat is kind.[(triple4)] The cat is red.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the lion.[(triple7)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion needs the bald eagle.[(triple12)] @1: The bald eagle likes the lion.[(((triple1) -> rule2))] The lion likes the lion.[(((triple10) -> rule2))] The lion visits the cat.[(((triple7) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple10) -> rule2)) -> rule1))]