The cat chases the dog. The cat is big. The cat is rough. The cat is round. The cat likes the dog. The dog likes the cat. The dog visits the cat. The tiger chases the dog. The tiger is rough. The tiger is round. The tiger likes the dog. The tiger visits the dog. If something is round then it chases the cat.
The dog does not chase the cat.
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat likes the dog.[(triple5)] The dog likes the cat.[(triple6)] The dog visits the cat.[(triple7)] The tiger chases the dog.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger likes the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The cat chases the cat.[(((triple4) -> rule1))] The tiger chases the cat.[(((triple10) -> rule1))]