The bear chases the cat. The bear is young. The bear visits the cat. The bear visits the cow. The cat chases the cow. The cat is cold. The cat is red. The cat is not round. The cat visits the cow. The cow chases the bear. The cow chases the cat. The cow is not big. The cow is red. The cow is young. The cow likes the bear. If the bear visits the cow then the cow is round. If something visits the bear then the bear is big. If something is round then it does not visit the cow.
The bear likes the cat.
@0: The bear chases the cat.[(triple1)] The bear is young.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the cow.[(triple4)] The cat chases the cow.[(triple5)] The cat is cold.[(triple6)] The cat is not round.[(triple8)] The cat is red.[(triple7)] The cat visits the cow.[(triple9)] The cow chases the bear.[(triple10)] The cow chases the cat.[(triple11)] The cow is not big.[(triple12)] The cow is red.[(triple13)] The cow is young.[(triple14)] The cow likes the bear.[(triple15)] @1: The cow is round.[(((triple4) -> rule1))] @2: The cow does not visit the cow.[(((((triple4) -> rule1)) -> rule3))]