The lion is kind. The mouse is blue. The mouse visits the lion. The rabbit chases the lion. The rabbit does not visit the lion. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel likes the mouse. The squirrel visits the lion. If someone is blue then they are kind. If someone chases the mouse and they are not kind then the mouse does not chase the lion.
The rabbit visits the squirrel.
@0: The lion is kind.[(triple1)] The mouse is blue.[(triple2)] The mouse visits the lion.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit does not visit the lion.[(triple5)] The rabbit visits the mouse.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The mouse is kind.[(((triple2) -> rule1))]