The cat chases the rabbit. The cat is blue. The cat needs the tiger. The mouse chases the cat. The mouse is round. The rabbit eats the mouse. The rabbit is cold. The tiger is big. The tiger needs the mouse. The tiger needs the rabbit. If someone needs the mouse and they are big then they are blue. If the cat chases the tiger and the tiger chases the cat then the tiger chases the mouse. If the cat needs the tiger and the cat chases the rabbit then the tiger eats the rabbit. If the tiger is green then the tiger eats the rabbit. If someone is big then they chase the mouse. If someone needs the rabbit then the rabbit needs the cat.
The tiger eats the tiger.
@0: The cat chases the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat needs the tiger.[(triple3)] The mouse chases the cat.[(triple4)] The mouse is round.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is cold.[(triple7)] The tiger is big.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The rabbit needs the cat.[(((triple10) -> rule6))] The tiger chases the mouse.[(((triple8) -> rule5))] The tiger eats the rabbit.[(((triple3 triple1) -> rule3))] The tiger is blue.[(((triple9 triple8) -> rule1))]