The cat is green. The tiger is rough. If the cat eats the tiger then the tiger needs the cat. If something eats the tiger then it chases the tiger. If something chases the tiger then it is rough. If something is rough then it eats the tiger. If something is green and it eats the tiger then the tiger needs the cat. If something is round then it is rough.
The cat is not green.
@0: The cat is green.[(triple1)] The tiger is rough.[(triple2)] @1: The tiger eats the tiger.[(((triple2) -> rule4))] @2: The tiger chases the tiger.[(((((triple2) -> rule4)) -> rule2))]