The cat chases the tiger. The cat is blue. The cat sees the mouse. The cat sees the tiger. The mouse needs the tiger. The tiger is kind. The tiger needs the cat. If someone chases the mouse then the mouse sees the tiger. If someone needs the mouse then they are cold. If someone sees the tiger and they need the cat then they see the cat. If someone is round then they need the cat. If someone chases the mouse then they chase the tiger. If someone sees the cat and they are blue then the cat is round. If someone is blue and they need the tiger then they are round. If someone sees the mouse and the mouse needs the tiger then the tiger needs the mouse.
The cat chases the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is blue.[(triple2)] The cat sees the mouse.[(triple3)] The cat sees the tiger.[(triple4)] The mouse needs the tiger.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the cat.[(triple7)] @1: The tiger needs the mouse.[(((triple3 triple5) -> rule8))] @2: The tiger is cold.[(((((triple3 triple5) -> rule8)) -> rule2))]