The cat chases the lion. The cat chases the mouse. The cat is young. The lion chases the rabbit. The lion is big. The lion needs the cat. The mouse chases the rabbit. The mouse eats the cat. The mouse is blue. The mouse is green. The mouse needs the cat. The rabbit does not eat the lion. If the cat is green then the cat needs the mouse. If someone is green and big then they chase the lion. If the mouse is not big then the mouse needs the cat. If someone is green then they chase the cat. If the mouse is big and the mouse chases the cat then the cat is young. If someone chases the cat then the cat is green. If someone eats the mouse then they chase the rabbit. If someone eats the mouse and the mouse needs the cat then they chase the rabbit.
The lion needs the mouse.
@0: The cat chases the lion.[(triple1)] The cat chases the mouse.[(triple2)] The cat is young.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is big.[(triple5)] The lion needs the cat.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit does not eat the lion.[(triple12)] @1: The mouse chases the cat.[(((triple10) -> rule4))] @2: The cat is green.[(((((triple10) -> rule4)) -> rule6))] @3: The cat chases the cat.[(((((((triple10) -> rule4)) -> rule6)) -> rule4))] The cat needs the mouse.[(((((((triple10) -> rule4)) -> rule6)) -> rule1))]