The bald eagle is red. The bald eagle sees the cow. The bald eagle sees the lion. The bald eagle visits the squirrel. The cow visits the lion. The cow visits the squirrel. The lion likes the cow. The lion sees the bald eagle. The squirrel is big. The squirrel likes the cow. The squirrel sees the bald eagle. The squirrel sees the lion. If someone visits the bald eagle then the bald eagle is cold. If someone is young then they like the lion. If the lion is young and the lion likes the squirrel then the squirrel visits the bald eagle. If someone visits the bald eagle then the bald eagle is young. If someone sees the lion and they like the cow then the lion visits the bald eagle. If the bald eagle sees the squirrel and the bald eagle sees the cow then the bald eagle likes the cow. If someone likes the cow and they like the squirrel then they are big. If the lion is red then the lion is young.
The lion does not like the cow.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the squirrel.[(triple6)] The lion likes the cow.[(triple7)] The lion sees the bald eagle.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The lion visits the bald eagle.[(((triple12 triple10) -> rule5))] @2: The bald eagle is cold.[(((((triple12 triple10) -> rule5)) -> rule1))] The bald eagle is young.[(((((triple12 triple10) -> rule5)) -> rule4))] @3: The bald eagle likes the lion.[(((((((triple12 triple10) -> rule5)) -> rule4)) -> rule2))]