The cat chases the mouse. The cat eats the tiger. The cat is blue. The cat needs the tiger. The dog is green. The dog is round. The mouse chases the dog. The mouse eats the cat. The mouse needs the cat. The tiger chases the mouse. The tiger is green. The tiger is round. If someone needs the tiger then the tiger eats the cat. If someone is round then they eat the dog. If the cat eats the tiger and the tiger eats the cat then the tiger needs the dog. If someone eats the mouse then they chase the tiger. If someone needs the dog then they need the mouse. If someone is blue then they are green. If someone needs the mouse and the mouse chases the dog then the dog eats the mouse.
The mouse is not cold.
@0: The cat chases the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is blue.[(triple3)] The cat needs the tiger.[(triple4)] The dog is green.[(triple5)] The dog is round.[(triple6)] The mouse chases the dog.[(triple7)] The mouse eats the cat.[(triple8)] The mouse needs the cat.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger is green.[(triple11)] The tiger is round.[(triple12)] @1: The cat is green.[(((triple3) -> rule6))] The dog eats the dog.[(((triple6) -> rule2))] The tiger eats the cat.[(((triple4) -> rule1))] The tiger eats the dog.[(((triple12) -> rule2))] @2: The tiger needs the dog.[(((triple2 ((triple4) -> rule1)) -> rule3))] @3: The tiger needs the mouse.[(((((triple2 ((triple4) -> rule1)) -> rule3)) -> rule5))] @4: The dog eats the mouse.[(((((((triple2 ((triple4) -> rule1)) -> rule3)) -> rule5) triple7) -> rule7))] @5: The dog chases the tiger.[(((((((((triple2 ((triple4) -> rule1)) -> rule3)) -> rule5) triple7) -> rule7)) -> rule4))]