The cat does not eat the dog. The cat is young. The cat does not like the dog. The dog eats the cat. The dog is big. The dog is cold. The dog is kind. The dog is young. The dog likes the cat. The dog does not visit the cat. If something likes the cat then the cat does not visit the dog. If the cat is blue then the cat visits the dog. If something eats the dog then the dog visits the cat. If something is big then it does not visit the cat. All young things are cold. If something visits the cat and it does not visit the dog then it does not like the dog.
The cat is not big.
@0: The cat does not eat the dog.[(triple1)] The cat does not like the dog.[(triple3)] The cat is young.[(triple2)] The dog does not visit the cat.[(triple10 OR ((triple5) -> rule4))] The dog eats the cat.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6 OR ((triple8) -> rule5))] The dog is kind.[(triple7)] The dog is young.[(triple8)] The dog likes the cat.[(triple9)] @1: The cat does not visit the dog.[(((triple9) -> rule1))] The cat is cold.[(((triple2) -> rule5))]