The dog does not chase the mouse. The dog is green. The dog likes the mouse. The mouse does not eat the dog. The mouse is cold. The mouse is nice. The mouse likes the dog. All green things are not round. If something likes the mouse and it does not like the dog then the dog is nice.
The dog is not green.
@0: The dog does not chase the mouse.[(triple1)] The dog is green.[(triple2)] The dog likes the mouse.[(triple3)] The mouse does not eat the dog.[(triple4)] The mouse is cold.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the dog.[(triple7)] @1: The dog is not round.[(((triple2) -> rule1))]