The cat chases the squirrel. The cat likes the squirrel. The dog chases the cat. The dog chases the mouse. The mouse is cold. The mouse sees the dog. The squirrel is green. If someone sees the squirrel then they are kind. If someone chases the cat and the cat sees the dog then the cat does not like the dog. If someone chases the squirrel then the squirrel likes the cat. If the cat likes the dog then the cat is not kind. If someone is green then they see the cat. If someone likes the cat then the cat likes the mouse. If someone chases the squirrel and they see the dog then the dog chases the squirrel. If someone sees the cat and they like the mouse then they see the dog.
The mouse is not kind.
@0: The cat chases the squirrel.[(triple1)] The cat likes the squirrel.[(triple2)] The dog chases the cat.[(triple3)] The dog chases the mouse.[(triple4)] The mouse is cold.[(triple5)] The mouse sees the dog.[(triple6)] The squirrel is green.[(triple7)] @1: The squirrel likes the cat.[(((triple1) -> rule3))] The squirrel sees the cat.[(((triple7) -> rule5))] @2: The cat likes the mouse.[(((((triple1) -> rule3)) -> rule6))]