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