The cat is red. The cat is rough. The mouse chases the cat. The mouse eats the cat. The mouse is not green. The mouse is not nice. The mouse needs the cat. If someone eats the mouse then the mouse is rough. All nice people are green. If someone needs the mouse and they do not need the cat then the cat chases the mouse. If someone is rough then they chase the mouse. If someone chases the cat then the cat eats the mouse. If someone is red and they do not chase the mouse then the mouse does not eat the cat.
The mouse eats the cat.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2)] The mouse chases the cat.[(triple3)] The mouse eats the cat.[(triple4)] The mouse is not green.[(triple5)] The mouse is not nice.[(triple6)] The mouse needs the cat.[(triple7)] @1: The cat chases the mouse.[(((triple2) -> rule4))] The cat eats the mouse.[(((triple3) -> rule5))] @2: The mouse is rough.[(((((triple3) -> rule5)) -> rule1))] @3: The mouse chases the mouse.[(((((((triple3) -> rule5)) -> rule1)) -> rule4))]