The bald eagle is cold. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle likes the squirrel. The bald eagle does not visit the cat. The cat eats the lion. The cat likes the squirrel. The cat visits the lion. The cat visits the squirrel. The lion visits the bald eagle. The lion visits the cat. The squirrel eats the lion. The squirrel is red. The squirrel likes the lion. If something likes the lion then the lion does not eat the cat.
The lion eats the cat.
@0: The bald eagle does not visit the cat.[(triple6)] The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The cat eats the lion.[(triple7)] The cat likes the squirrel.[(triple8)] The cat visits the lion.[(triple9)] The cat visits the squirrel.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the cat.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is red.[(triple14)] The squirrel likes the lion.[(triple15)] @1: The lion does not eat the cat.[(((triple15) -> rule1) OR ((triple4) -> rule1))]