The bald eagle likes the dog. The bald eagle sees the cat. The bald eagle sees the dog. The bald eagle visits the dog. The cat is big. The cat is cold. The cat is nice. The cat is rough. The cat likes the dog. The cat sees the bald eagle. The cat sees the dog. The cat visits the bald eagle. The cat visits the dog. The dog is nice. The dog sees the bald eagle. If someone is nice and rough then they like the bald eagle. If someone visits the bald eagle and the bald eagle is big then the bald eagle sees the dog.
The dog is nice.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle sees the cat.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The cat is big.[(triple5)] The cat is cold.[(triple6)] The cat is nice.[(triple7)] The cat is rough.[(triple8)] The cat likes the dog.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the dog.[(triple11)] The cat visits the bald eagle.[(triple12)] The cat visits the dog.[(triple13)] The dog is nice.[(triple14)] The dog sees the bald eagle.[(triple15)] @1: The cat likes the bald eagle.[(((triple7 triple8) -> rule1))]