The cat is cold. The cat is kind. The cat likes the dog. The cat visits the cow. The cow is big. The cow is kind. The cow likes the cat. The cow visits the dog. The dog eats the cow. The dog is big. The dog likes the cow. The dog visits the cat. If something eats the cow and it is big then the cow is young. If something eats the dog then the dog is blue. If something visits the cat and it is cold then the cat likes the cow.
The cat visits the cow.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat likes the dog.[(triple3)] The cat visits the cow.[(triple4)] The cow is big.[(triple5)] The cow is kind.[(triple6)] The cow likes the cat.[(triple7)] The cow visits the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is big.[(triple10)] The dog likes the cow.[(triple11)] The dog visits the cat.[(triple12)] @1: The cow is young.[(((triple9 triple10) -> rule1))]