The cat is big. The cat is green. The cat is young. The rabbit eats the cat. The rabbit eats the tiger. The rabbit is big. The rabbit is kind. The rabbit needs the cat. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger eats the cat. The tiger eats the rabbit. The tiger is kind. The tiger is young. The tiger needs the cat. If something needs the cat then the cat is green. If something visits the rabbit then it visits the cat. If something eats the cat and it is green then the cat visits the rabbit. If something needs the cat then it needs the tiger. If something is kind and it visits the tiger then the tiger eats the cat. If something visits the rabbit then it needs the cat.
The cat does not visit the rabbit.
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((triple16) -> rule1) OR ((triple8) -> rule1))] The cat is young.[(triple3)] The rabbit eats the cat.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit is kind.[(triple7)] The rabbit needs the cat.[(triple8)] The rabbit needs the tiger.[(triple9 OR ((triple8) -> rule4))] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger eats the cat.[(triple12 OR ((triple7 triple11) -> rule5))] The tiger eats the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger needs the cat.[(triple16)] @1: The tiger needs the tiger.[(((triple16) -> rule4))]