The bear is big. The cat is green. The tiger is cold. If the bear sees the tiger then the bear is rough. If something chases the bear and the bear sees the cat then the bear eats the tiger. If something eats the bear then it chases the cat. If something is cold and it sees the tiger then it chases the bear. If something is green then it eats the tiger. All cold, green things are kind.
The bear is big.
@0: The bear is big.[(triple1)] The cat is green.[(triple2)] The tiger is cold.[(triple3)] @1: The cat eats the tiger.[(((triple2) -> rule5))]