The lion likes the mouse. The lion visits the rabbit. The mouse visits the squirrel. The rabbit is not red. The rabbit does not visit the lion. The rabbit visits the squirrel. The squirrel likes the mouse. If someone likes the mouse then the mouse is young. If someone likes the lion then they are red.
The mouse visits the squirrel.
@0: The lion likes the mouse.[(triple1)] The lion visits the rabbit.[(triple2)] The mouse visits the squirrel.[(triple3)] The rabbit does not visit the lion.[(triple5)] The rabbit is not red.[(triple4)] The rabbit visits the squirrel.[(triple6)] The squirrel likes the mouse.[(triple7)] @1: The mouse is young.[(((triple1) -> rule1) OR ((triple7) -> rule1))]