The bear chases the cat. The cat is kind. The tiger likes the cat. If something likes the bear then the bear is kind. If something eats the tiger then the tiger is red. If the bear does not eat the cat then the cat eats the tiger. If something likes the cat then the cat likes the bear. If something chases the cat then the cat is green. If something chases the bear and it is not green then it is not kind.
The tiger does not like the cat.
@0: The bear chases the cat.[(triple1)] The cat is kind.[(triple2)] The tiger likes the cat.[(triple3)] @1: The cat is green.[(((triple1) -> rule5))] The cat likes the bear.[(((triple3) -> rule4))] @2: The bear is kind.[(((((triple3) -> rule4)) -> rule1))]