The bald eagle visits the dog. The cat is rough. The dog visits the cat. If the dog likes the bald eagle then the dog is rough. If someone visits the bald eagle then the bald eagle does not like the dog. If someone is rough and not cold then they like the dog. If someone visits the dog then the dog likes the bald eagle. If someone likes the bald eagle and they see the cat then the cat does not like the dog. If the bald eagle likes the dog then the bald eagle visits the cat. If someone is kind then they do not visit the dog. If someone is rough and they do not see the dog then the dog sees the cat.
The bald eagle does not like the dog.
@0: The bald eagle visits the dog.[(triple1)] The cat is rough.[(triple2)] The dog visits the cat.[(triple3)] @1: The dog likes the bald eagle.[(((triple1) -> rule4))] @2: The dog is rough.[(((((triple1) -> rule4)) -> rule1))]