The lion chases the mouse. The mouse chases the lion. The mouse is cold. The mouse is green. The mouse is kind. The mouse is round. The mouse needs the lion. If something chases the mouse and it visits the mouse then the mouse visits the lion. If something is blue then it needs the lion. If something needs the lion and it is green then it is round.
The mouse is round.
@0: The lion chases the mouse.[(triple1)] The mouse chases the lion.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is round.[(triple6 OR ((triple7 triple4) -> rule3))] The mouse needs the lion.[(triple7)]