The cat eats the dog. The cat is green. The dog does not eat the mouse. The dog is round. The dog likes the squirrel. The mouse eats the squirrel. The squirrel does not like the mouse. If someone chases the dog then the dog is cold. If the squirrel is cold and the squirrel is not round then the squirrel is not green. If someone is green then they chase the cat.
The dog is not cold.
@0: The cat eats the dog.[(triple1)] The cat is green.[(triple2)] The dog does not eat the mouse.[(triple3)] The dog is round.[(triple4)] The dog likes the squirrel.[(triple5)] The mouse eats the squirrel.[(triple6)] The squirrel does not like the mouse.[(triple7)] @1: The cat chases the cat.[(((triple2) -> rule3))]