The bald eagle is kind. The bald eagle is nice. The bear sees the dog. The bear visits the cat. The cat is big. The cat sees the dog. The cat visits the bald eagle. The dog is nice. The dog is rough. The dog sees the cat. If something sees the bear then the bear is round. If something visits the bald eagle then it sees the cat. If something visits the bald eagle then it likes the bald eagle.
The dog sees the bear.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the cat.[(triple4)] The cat is big.[(triple5)] The cat sees the dog.[(triple6)] The cat visits the bald eagle.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog sees the cat.[(triple10)] @1: The cat likes the bald eagle.[(((triple7) -> rule3))] The cat sees the cat.[(((triple7) -> rule2))]