The bald eagle eats the lion. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The lion eats the bald eagle. The lion eats the squirrel. The lion likes the squirrel. The lion visits the bald eagle. The lion visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel likes the bald eagle. The squirrel likes the lion. The squirrel visits the bald eagle. If someone visits the squirrel and the squirrel is kind then the squirrel eats the lion. If the lion likes the bald eagle then the bald eagle is green. If someone likes the bald eagle and the bald eagle is rough then the bald eagle is nice.
The squirrel is not cold.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3 OR ((triple14 triple4) -> rule3))] The bald eagle is rough.[(triple4)] The bald eagle likes the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion eats the squirrel.[(triple7)] The lion likes the squirrel.[(triple8)] The lion visits the bald eagle.[(triple9)] The lion visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel visits the bald eagle.[(triple16)]