The bald eagle is blue. The bald eagle visits the cat. The cat is blue. The cat is cold. The cat needs the bald eagle. The cat sees the bald eagle. The cat visits the cow. The cow is blue. The cow is not green. The cow needs the bald eagle. The cow sees the cat. The cow visits the bald eagle. If someone is young and green then they visit the bald eagle. If someone sees the cat and they are young then they visit the cat. If someone needs the cat then they do not visit the cat. If someone is blue then they see the bald eagle. If someone sees the cow and they are not young then they do not need the cow. If someone needs the cow and the cow is green then the cow does not visit the cat. If someone visits the cow and they are nice then the cow sees the cat. If the bald eagle needs the cat and the cat is cold then the bald eagle visits the cow.
The cow is not blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat sees the bald eagle.[(triple6 OR ((triple3) -> rule4))] The cat visits the cow.[(triple7)] The cow is blue.[(triple8)] The cow is not green.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow sees the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule4))] The cow sees the bald eagle.[(((triple8) -> rule4))]