The cat eats the rabbit. The cat is big. The cat is kind. The cat does not like the rabbit. The cat likes the tiger. The cat sees the tiger. The rabbit eats the cat. The rabbit eats the tiger. The rabbit is not big. The rabbit likes the cat. The rabbit likes the tiger. The tiger is cold. The tiger likes the cat. The tiger likes the rabbit. The tiger sees the rabbit. If something sees the cat then the cat eats the tiger. If something eats the rabbit then it does not like the cat.
The cat does not see the tiger.
@0: The cat does not like the rabbit.[(triple4)] The cat eats the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat likes the tiger.[(triple5)] The cat sees the tiger.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is not big.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the tiger.[(triple11)] The tiger is cold.[(triple12)] The tiger likes the cat.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The cat does not like the cat.[(((triple1) -> rule2))]