The cat is nice. The cat likes the tiger. The cat sees the tiger. The cow likes the tiger. The tiger is not nice. The tiger likes the cow. The tiger needs the cat. The tiger needs the cow. The tiger sees the cat. The tiger sees the cow. If something sees the cat then the cat is kind.
The tiger sees the cow.
@0: The cat is nice.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The cow likes the tiger.[(triple4)] The tiger is not nice.[(triple5)] The tiger likes the cow.[(triple6)] The tiger needs the cat.[(triple7)] The tiger needs the cow.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cat is kind.[(((triple9) -> rule1))]