The cat does not visit the mouse. The lion visits the rabbit. The mouse visits the cat. The rabbit chases the mouse. If the lion chases the cat and the cat visits the lion then the lion does not visit the cat. If something visits the cat then the cat is round. If something chases the rabbit then it does not visit the mouse. If something is nice and it visits the lion then it is green. If something chases the lion then it is not green. If something sees the lion and it is young then it is green. If something is young then it is green. If something sees the mouse and it does not visit the rabbit then the rabbit visits the lion.
The cat is not round.
@0: The cat does not visit the mouse.[(triple1)] The lion visits the rabbit.[(triple2)] The mouse visits the cat.[(triple3)] The rabbit chases the mouse.[(triple4)] @1: The cat is round.[(((triple3) -> rule2))]