The cat likes the tiger. The dog is cold. The dog is nice. The dog likes the mouse. The mouse chases the tiger. The mouse does not eat the cat. The tiger chases the cat. If the cat likes the dog then the dog does not eat the cat. If something is kind then it chases the cat. If something likes the dog then it likes the tiger. If the tiger is nice and the tiger is not young then the tiger does not chase the mouse. If something likes the tiger then it eats the dog. If something eats the dog then the dog likes the tiger. If something eats the dog and it likes the mouse then the mouse is kind. If something eats the cat then the cat does not chase the dog. If something is kind and it does not eat the cat then the cat does not eat the mouse.
The mouse chases the cat.
@0: The cat likes the tiger.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog likes the mouse.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse does not eat the cat.[(triple6)] The tiger chases the cat.[(triple7)] @1: The cat eats the dog.[(((triple1) -> rule5))] @2: The dog likes the tiger.[(((((triple1) -> rule5)) -> rule6))] @3: The dog eats the dog.[(((((((triple1) -> rule5)) -> rule6)) -> rule5))] @4: The mouse is kind.[(((((((((triple1) -> rule5)) -> rule6)) -> rule5) triple4) -> rule7))] @5: The cat does not eat the mouse.[(((((((((((triple1) -> rule5)) -> rule6)) -> rule5) triple4) -> rule7) triple6) -> rule9))] The mouse chases the cat.[(((((((((((triple1) -> rule5)) -> rule6)) -> rule5) triple4) -> rule7)) -> rule2))]