The cat is red. The mouse is red. The tiger is kind. If something is blue and it sees the tiger then the tiger needs the cat. If something chases the mouse and the mouse chases the tiger then it chases the tiger. If something sees the mouse then the mouse sees the cat. If something is red then it needs the mouse. If something chases the mouse and it chases the tiger then the mouse sees the cat. If something needs the mouse and the mouse chases the tiger then the mouse sees the tiger.
The tiger is blue.
@0: The cat is red.[(triple1)] The mouse is red.[(triple2)] The tiger is kind.[(triple3)] @1: The cat needs the mouse.[(((triple1) -> rule4))] The mouse needs the mouse.[(((triple2) -> rule4))]