The cat chases the lion. The cat does not eat the rabbit. The cat is big. The cat is nice. The cat is young. The cat sees the lion. The cat sees the mouse. The lion chases the rabbit. The lion eats the rabbit. The lion is kind. The lion is not young. The lion sees the mouse. The mouse does not chase the rabbit. The mouse eats the lion. The mouse is not nice. The rabbit sees the lion. If someone sees the lion and the lion chases the cat then they do not see the mouse. If someone eats the mouse then the mouse does not eat the rabbit. If someone chases the cat and they are blue then they are nice. If someone chases the mouse then the mouse chases the lion. If someone chases the lion then they eat the mouse. If someone eats the mouse then they chase the mouse. If someone chases the rabbit then they see the rabbit. If someone is big and they do not see the mouse then they are young.
The lion eats the cat.
@0: The cat chases the lion.[(triple1)] The cat does not eat the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cat is young.[(triple5)] The cat sees the lion.[(triple6)] The cat sees the mouse.[(triple7)] The lion chases the rabbit.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is kind.[(triple10)] The lion is not young.[(triple11)] The lion sees the mouse.[(triple12)] The mouse does not chase the rabbit.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is not nice.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The cat eats the mouse.[(((triple1) -> rule5))] The lion sees the rabbit.[(((triple8) -> rule7))] @2: The cat chases the mouse.[(((((triple1) -> rule5)) -> rule6))] The mouse does not eat the rabbit.[(((((triple1) -> rule5)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule5)) -> rule2))] @3: The mouse chases the lion.[(((((((triple1) -> rule5)) -> rule6)) -> rule4))] @4: The mouse eats the mouse.[(((((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule5))] @5: The mouse chases the mouse.[(((((((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule5)) -> rule6))]