The cat chases the mouse. The mouse likes the cat. If someone chases the mouse then the mouse is young. If someone is rough and they like the cat then they are cold. All nice, young people are not blue. If someone is nice then they do not like the cat. If someone chases the cat and the cat is rough then the cat is blue. If the cat chases the mouse and the cat needs the mouse then the cat is blue. If someone likes the cat and they are not cold then they chase the cat. If the mouse likes the cat and the mouse does not chase the cat then the mouse does not need the cat.
The mouse does not like the cat.
@0: The cat chases the mouse.[(triple1)] The mouse likes the cat.[(triple2)] @1: The mouse is young.[(((triple1) -> rule1))]