The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle visits the cow. The cat is rough. The cat is young. The cat needs the cow. The cat visits the bald eagle. The cow needs the bald eagle. The cow visits the bald eagle. If the cow visits the bald eagle and the bald eagle visits the cow then the bald eagle visits the cat. If someone is green and young then they visit the cat. If the cat needs the cow and the cat is round then the cow is round.
The cat does not visit the cat.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle visits the cow.[(triple6)] The cat is rough.[(triple7)] The cat is young.[(triple8)] The cat needs the cow.[(triple9)] The cat visits the bald eagle.[(triple10)] The cow needs the bald eagle.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The bald eagle visits the cat.[(((triple12 triple6) -> rule1))]