The bald eagle does not chase the squirrel. The bald eagle visits the lion. The lion eats the squirrel. The lion eats the tiger. The lion is kind. The lion is rough. The lion does not visit the tiger. The squirrel chases the tiger. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel does not visit the bald eagle. The tiger chases the bald eagle. The tiger is cold. The tiger is green. The tiger does not visit the bald eagle. The tiger visits the lion. If the tiger is cold then the tiger is kind. If something chases the bald eagle then it is green. If something eats the squirrel and the squirrel visits the tiger then the squirrel visits the bald eagle.
The bald eagle is rough.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle visits the lion.[(triple2)] The lion does not visit the tiger.[(triple7)] The lion eats the squirrel.[(triple3)] The lion eats the tiger.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The squirrel chases the tiger.[(triple8)] The squirrel does not visit the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the lion.[(triple10)] The tiger chases the bald eagle.[(triple12)] The tiger does not visit the bald eagle.[(triple15)] The tiger is cold.[(triple13)] The tiger is green.[(triple14 OR ((triple12) -> rule2))] The tiger visits the lion.[(triple16)] @1: The tiger is kind.[(((triple13) -> rule1))]