The cat is red. The mouse does not chase the cat. If something is red then it is not rough. If something eats the cat then it sees the cat. If something sees the cat then the cat chases the mouse. If the mouse sees the cat then the mouse does not eat the cat. If the mouse does not chase the cat then the mouse sees the cat. If something chases the mouse then it does not eat the cat. If something chases the cat and it does not see the cat then it sees the mouse. If something eats the mouse and the mouse is kind then it sees the mouse.
The mouse sees the cat.
@0: The cat is red.[(triple1)] The mouse does not chase the cat.[(triple2)] @1: The cat is not rough.[(((triple1) -> rule1))] The mouse sees the cat.[(((triple2) -> rule5))] @2: The cat chases the mouse.[(((((triple2) -> rule5)) -> rule3))] The mouse does not eat the cat.[(((((triple2) -> rule5)) -> rule4))] @3: The cat does not eat the cat.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]