The lion chases the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse needs the lion. The mouse visits the lion. The rabbit is blue. The rabbit visits the lion. The rabbit visits the mouse. If someone is green and they need the mouse then the mouse visits the lion. If someone is blue then they visit the lion.
The lion visits the mouse.
@0: The lion chases the mouse.[(triple1)] The lion visits the mouse.[(triple2)] The mouse chases the lion.[(triple3)] The mouse is blue.[(triple4)] The mouse is cold.[(triple5)] The mouse is green.[(triple6)] The mouse is kind.[(triple7)] The mouse needs the lion.[(triple8)] The mouse visits the lion.[(triple9 OR ((triple4) -> rule2))] The rabbit is blue.[(triple10)] The rabbit visits the lion.[(triple11 OR ((triple10) -> rule2))] The rabbit visits the mouse.[(triple12)]