The lion chases the mouse. The lion does not chase the tiger. The lion is red. The lion does not visit the tiger. The mouse chases the lion. The mouse is green. The mouse is round. The mouse is not young. The mouse sees the lion. The mouse visits the lion. The mouse visits the tiger. The tiger is red. The tiger is not round. The tiger sees the mouse. The tiger visits the lion. If someone chases the mouse and they are young then they see the tiger. If someone chases the lion then they visit the mouse. If someone is big and they chase the mouse then they visit the mouse. If someone sees the lion then they are not young. If someone is red and young then they chase the lion. If someone chases the lion then the lion is young. If someone chases the mouse and they are not young then the mouse does not chase the tiger. If someone visits the tiger and the tiger does not visit the mouse then they visit the lion.
The tiger visits the tiger.
@0: The lion chases the mouse.[(triple1)] The lion does not chase the tiger.[(triple2)] The lion does not visit the tiger.[(triple4)] The lion is red.[(triple3)] The mouse chases the lion.[(triple5)] The mouse is green.[(triple6)] The mouse is not young.[(triple8 OR ((triple9) -> rule4))] The mouse is round.[(triple7)] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger is not round.[(triple13)] The tiger is red.[(triple12)] The tiger sees the mouse.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion is young.[(((triple5) -> rule6))] The mouse visits the mouse.[(((triple5) -> rule2))] @2: The lion chases the lion.[(((triple3 ((triple5) -> rule6)) -> rule5))] The lion sees the tiger.[(((triple1 ((triple5) -> rule6)) -> rule1))] @3: The lion visits the mouse.[(((((triple3 ((triple5) -> rule6)) -> rule5)) -> rule2))]