The bald eagle eats the rabbit. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle sees the squirrel. The bald eagle visits the rabbit. The bald eagle does not visit the tiger. The rabbit eats the tiger. The rabbit is young. The rabbit visits the squirrel. The squirrel is not nice. The squirrel is red. The tiger eats the squirrel. The tiger sees the bald eagle. The tiger visits the squirrel. If the rabbit is red then the rabbit is not nice. If something is round then it sees the rabbit. If something is red and it does not see the tiger then the tiger eats the squirrel.
The squirrel visits the tiger.
@0: The bald eagle does not visit the tiger.[(triple7)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The rabbit eats the tiger.[(triple8)] The rabbit is young.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel is not nice.[(triple11)] The squirrel is red.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The bald eagle sees the rabbit.[(((triple3) -> rule2))]