The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the lion. The cow chases the lion. The cow is green. The cow likes the bald eagle. The cow likes the lion. The lion likes the cow. The squirrel chases the bald eagle. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel sees the bald eagle. If someone is red and they chase the bald eagle then the bald eagle is green. If someone likes the bald eagle then they like the lion. If someone is green then they see the lion. If the cow is blue then the cow likes the squirrel. If the bald eagle sees the lion then the lion sees the squirrel. If someone sees the squirrel then they are green. If someone likes the bald eagle then the bald eagle is blue.
The cow sees the lion.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple7) -> rule7))] The bald eagle likes the cow.[(triple3)] The bald eagle likes the lion.[(triple4)] The cow chases the lion.[(triple5)] The cow is green.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the lion.[(triple8 OR ((triple7) -> rule2))] The lion likes the cow.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel sees the bald eagle.[(triple14)] @1: The bald eagle is green.[(((triple13 triple10) -> rule1))] The cow sees the lion.[(((triple6) -> rule3))] The squirrel sees the lion.[(((triple12) -> rule3))] @2: The bald eagle sees the lion.[(((((triple13 triple10) -> rule1)) -> rule3))] @3: The lion sees the squirrel.[(((((((triple13 triple10) -> rule1)) -> rule3)) -> rule5))] @4: The lion is green.[(((((((((triple13 triple10) -> rule1)) -> rule3)) -> rule5)) -> rule6))] @5: The lion sees the lion.[(((((((((((triple13 triple10) -> rule1)) -> rule3)) -> rule5)) -> rule6)) -> rule3))]