The bear is kind. The cat chases the bear. The cat chases the cow. The cat is rough. The cat likes the bear. The cat likes the rabbit. The cat visits the cow. The cow is nice. The cow likes the rabbit. The rabbit likes the cat. If someone is kind then they visit the bear. If the bear chases the rabbit and the rabbit is rough then the rabbit visits the cow. If someone likes the rabbit and they visit the bear then the bear likes the cow. If someone visits the cat then they like the rabbit. If someone is rough and they like the rabbit then they are kind. If someone visits the rabbit and the rabbit chases the bear then the rabbit visits the cat.
The cat visits the bear.
@0: The bear is kind.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the cow.[(triple3)] The cat is rough.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The cat visits the cow.[(triple7)] The cow is nice.[(triple8)] The cow likes the rabbit.[(triple9)] The rabbit likes the cat.[(triple10)] @1: The bear visits the bear.[(((triple1) -> rule1))] The cat is kind.[(((triple4 triple6) -> rule5))] @2: The cat visits the bear.[(((((triple4 triple6) -> rule5)) -> rule1))] @3: The bear likes the cow.[(((triple6 ((((triple4 triple6) -> rule5)) -> rule1)) -> rule3))]