The bear is round. The cat is kind. The cow likes the bear. The dog likes the cow. If someone eats the cat and they eat the bear then the cat eats the dog. If someone likes the dog then they are kind. If someone visits the bear and they eat the cow then the cow likes the bear. If someone likes the dog and the dog is young then they are red. Round people are young. If someone is kind then they visit the cow.
The dog is round.
@0: The bear is round.[(triple1)] The cat is kind.[(triple2)] The cow likes the bear.[(triple3)] The dog likes the cow.[(triple4)] @1: The bear is young.[(((triple1) -> rule5))] The cat visits the cow.[(((triple2) -> rule6))]