The dog is big. The mouse is green. The rabbit eats the mouse. If someone chases the rabbit then the rabbit is blue. All green people are blue. If someone visits the dog then the dog eats the rabbit. If the mouse eats the rabbit and the mouse does not chase the dog then the dog does not eat the rabbit. If someone is blue then they do not chase the mouse. If someone is blue and big then they chase the rabbit.
The rabbit does not chase the rabbit.
@0: The dog is big.[(triple1)] The mouse is green.[(triple2)] The rabbit eats the mouse.[(triple3)] @1: The mouse is blue.[(((triple2) -> rule2))] @2: The mouse does not chase the mouse.[(((((triple2) -> rule2)) -> rule5))]