The bald eagle is round. The bald eagle likes the squirrel. The bald eagle needs the dog. The bald eagle visits the squirrel. The dog is kind. The dog does not like the squirrel. The dog needs the squirrel. The dog visits the bald eagle. The dog visits the squirrel. The squirrel is cold. The squirrel is not round. The squirrel likes the bald eagle. The squirrel likes the dog. The squirrel needs the dog. The squirrel does not visit the bald eagle. If something is kind and it does not like the dog then it does not visit the squirrel. If something is kind then it visits the squirrel. If something likes the squirrel and it is not red then the squirrel visits the dog.
The squirrel is round.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The dog does not like the squirrel.[(triple6)] The dog is kind.[(triple5)] The dog needs the squirrel.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the squirrel.[(triple9 OR ((triple5) -> rule2))] The squirrel does not visit the bald eagle.[(triple15)] The squirrel is cold.[(triple10)] The squirrel is not round.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel needs the dog.[(triple14)]