The cat eats the tiger. The rabbit chases the tiger. The squirrel eats the rabbit. The tiger is green. If something chases the tiger then the tiger is nice. If something chases the cat then the cat is big. If something visits the tiger then it is nice. If something visits the cat then the cat eats the tiger. If something chases the cat and it chases the tiger then the cat eats the rabbit. If the squirrel eats the tiger and the tiger visits the rabbit then the tiger is big.
The rabbit is not nice.
@0: The cat eats the tiger.[(triple1)] The rabbit chases the tiger.[(triple2)] The squirrel eats the rabbit.[(triple3)] The tiger is green.[(triple4)] @1: The tiger is nice.[(((triple2) -> rule1))]