The bald eagle likes the dog. The cat is not blue. The cat does not like the dog. The cow is not rough. The cow sees the bald eagle. The cow visits the dog. The dog is blue. The dog is not young. The dog visits the bald eagle. The dog visits the cat. The dog visits the cow. Young people are kind. If someone is cold then they are kind. All rough people are cold. If someone is blue and rough then they do not visit the cat. If someone is blue then they visit the cat. If someone likes the dog then they visit the dog. If someone visits the cow then the cow is blue. If the cow visits the cat then the cat is rough. If someone is blue and not cold then they like the cow.
The cat likes the cow.
@0: The bald eagle likes the dog.[(triple1)] The cat does not like the dog.[(triple3)] The cat is not blue.[(triple2)] The cow is not rough.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow visits the dog.[(triple6)] The dog is blue.[(triple7)] The dog is not young.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the cat.[(triple10 OR ((triple7) -> rule5))] The dog visits the cow.[(triple11)] @1: The bald eagle visits the dog.[(((triple1) -> rule6))] The cow is blue.[(((triple11) -> rule7))] @2: The cow visits the cat.[(((((triple11) -> rule7)) -> rule5))] @3: The cat is rough.[(((((((triple11) -> rule7)) -> rule5)) -> rule8))] @4: The cat is cold.[(((((((((triple11) -> rule7)) -> rule5)) -> rule8)) -> rule3))] @5: The cat is kind.[(((((((((((triple11) -> rule7)) -> rule5)) -> rule8)) -> rule3)) -> rule2))]