The cat chases the lion. The lion eats the rabbit. The lion is green. The lion visits the mouse. The mouse chases the rabbit. The mouse eats the cat. The mouse eats the lion. The mouse is green. The mouse visits the rabbit. The rabbit chases the cat. The rabbit chases the lion. The rabbit eats the cat. The rabbit eats the lion. The rabbit is green. The rabbit is round. The rabbit visits the lion. If something visits the mouse then it is red. If the mouse eats the cat and the cat eats the rabbit then the rabbit chases the mouse. If something chases the mouse and it eats the cat then the mouse is round. If something chases the mouse and it is red then the mouse eats the cat. If the rabbit is blue then the rabbit is round. If something eats the mouse and the mouse visits the cat then the cat is round. If something eats the lion then it visits the mouse. If something visits the mouse then the mouse eats the cat.
The mouse visits the lion.
@0: The cat chases the lion.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is green.[(triple3)] The lion visits the mouse.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the cat.[(triple6 OR ((triple4) -> rule8) OR ((((triple13) -> rule7)) -> rule8) OR ((((triple7) -> rule7)) -> rule8))] The mouse eats the lion.[(triple7)] The mouse is green.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is green.[(triple14)] The rabbit is round.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The lion is red.[(((triple4) -> rule1))] The mouse visits the mouse.[(((triple7) -> rule7))] The rabbit visits the mouse.[(((triple13) -> rule7))] @2: The mouse is red.[(((((triple7) -> rule7)) -> rule1))] The rabbit is red.[(((((triple13) -> rule7)) -> rule1))]