The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle is young. The bald eagle sees the lion. The cow eats the squirrel. The cow sees the squirrel. The lion eats the bald eagle. The lion is cold. The lion is nice. The squirrel is cold. The squirrel is young. The squirrel likes the bald eagle. If the cow sees the squirrel and the cow eats the squirrel then the cow eats the lion. If someone likes the bald eagle then they see the lion. If someone is nice and young then they eat the lion. If someone is green and red then they eat the bald eagle. If someone eats the cow and they see the squirrel then the squirrel is young. If someone sees the squirrel then they see the bald eagle. If someone is red and they see the lion then they eat the cow. If someone eats the lion and the lion is cold then they like the bald eagle.
The cow eats the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple4 OR ((((triple1 triple8) -> rule8)) -> rule2))] The cow eats the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is cold.[(triple8)] The lion is nice.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple1 triple8) -> rule8))] The cow eats the lion.[(((triple6 triple5) -> rule1))] The cow sees the bald eagle.[(((triple6) -> rule6))] The squirrel sees the lion.[(((triple12) -> rule2))] @2: The cow likes the bald eagle.[(((((triple6 triple5) -> rule1) triple8) -> rule8))] @3: The cow sees the lion.[(((((((triple6 triple5) -> rule1) triple8) -> rule8)) -> rule2))]