The cat likes the cow. The cat sees the cow. The cow needs the cat. The cow sees the tiger. The rabbit is nice. The rabbit is red. The rabbit likes the cow. The rabbit likes the tiger. The rabbit needs the cat. The rabbit sees the cat. The tiger is nice. The tiger likes the cow. The tiger needs the rabbit. The tiger sees the cow. The tiger sees the rabbit. If something is red and it likes the cat then the cat needs the rabbit. If something is young and it needs the rabbit then it likes the tiger. If something sees the tiger then it sees the cat.
The tiger does not see the rabbit.
@0: The cat likes the cow.[(triple1)] The cat sees the cow.[(triple2)] The cow needs the cat.[(triple3)] The cow sees the tiger.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the tiger.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit sees the cat.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the cow.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The cow sees the cat.[(((triple4) -> rule3))]