The lion chases the mouse. The lion is big. The lion is green. The lion is red. The lion does not need the rabbit. The mouse is green. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit is round. The rabbit needs the tiger. The tiger does not chase the mouse. The tiger is kind. The tiger visits the mouse. If the mouse visits the lion then the mouse chases the lion. If something visits the rabbit then it is round. If something chases the lion then the lion visits the tiger. If something needs the rabbit then the rabbit is red. If something is green then it visits the rabbit. If something needs the mouse then it does not need the lion. If something needs the rabbit then it chases the tiger. If something needs the rabbit and it does not chase the lion then the lion needs the tiger.
The mouse needs the lion.
@0: The lion chases the mouse.[(triple1)] The lion does not need the rabbit.[(triple5)] The lion is big.[(triple2)] The lion is green.[(triple3)] The lion is red.[(triple4)] The mouse is green.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse visits the rabbit.[(triple8 OR ((triple6) -> rule5))] The rabbit chases the mouse.[(triple9)] The rabbit chases the tiger.[(triple10)] The rabbit is round.[(triple11)] The rabbit needs the tiger.[(triple12)] The tiger does not chase the mouse.[(triple13)] The tiger is kind.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The lion visits the rabbit.[(((triple3) -> rule5))] The mouse chases the tiger.[(((triple7) -> rule7))] The mouse is round.[(((triple8) -> rule2) OR ((((triple6) -> rule5)) -> rule2))] The rabbit is red.[(((triple7) -> rule4))] @2: The lion is round.[(((((triple3) -> rule5)) -> rule2))]