The bear is round. The bear visits the cow. The cat is red. The cat likes the cow. The cow is young. The dog needs the cat. The dog needs the cow. If someone is big and they visit the cat then they need the bear. If someone likes the bear then they like the cow. If someone needs the cat and the cat is round then the cat likes the cow. If someone is red then they like the cow. If someone visits the cow and the cow likes the bear then the bear visits the dog. If the bear likes the cow and the cow visits the cat then the cow likes the cat.
The bear is not round.
@0: The bear is round.[(triple1)] The bear visits the cow.[(triple2)] The cat is red.[(triple3)] The cat likes the cow.[(triple4 OR ((triple3) -> rule4))] The cow is young.[(triple5)] The dog needs the cat.[(triple6)] The dog needs the cow.[(triple7)]