The bear is round. The cow does not chase the tiger. The lion sees the cow. The tiger visits the cow. If someone is round then they are blue. If someone is nice then they chase the tiger. If someone visits the lion and they are not round then they chase the bear. If the lion chases the tiger and the lion visits the bear then the bear does not chase the lion. If someone is blue then they do not visit the lion. If someone chases the tiger then they chase the lion. If the bear chases the tiger and the bear is kind then the bear chases the cow. If someone is nice then they visit the bear.
The cow is round.
@0: The bear is round.[(triple1)] The cow does not chase the tiger.[(triple2)] The lion sees the cow.[(triple3)] The tiger visits the cow.[(triple4)] @1: The bear is blue.[(((triple1) -> rule1))] @2: The bear does not visit the lion.[(((((triple1) -> rule1)) -> rule5))]