The cat is green. The dog chases the cat. The mouse visits the dog. The squirrel is young. If someone chases the mouse and the mouse visits the cat then the mouse is cold. If the squirrel chases the cat and the cat is cold then the cat likes the squirrel. If someone chases the mouse then the mouse likes the cat. If someone likes the mouse then the mouse likes the cat. If someone is rough then they chase the mouse. If someone visits the squirrel and they are cold then they like the squirrel. If someone chases the cat then they chase the dog. If someone is green then they visit the dog.
The cat does not like the squirrel.
@0: The cat is green.[(triple1)] The dog chases the cat.[(triple2)] The mouse visits the dog.[(triple3)] The squirrel is young.[(triple4)] @1: The cat visits the dog.[(((triple1) -> rule8))] The dog chases the dog.[(((triple2) -> rule7))]