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