The cat eats the dog. The cat eats the tiger. The cat is green. The cat is nice. The cat needs the dog. The cat visits the rabbit. The dog eats the tiger. The dog is green. The rabbit is kind. The rabbit is nice. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger needs the rabbit. The tiger visits the rabbit. If the dog is blue and the dog is kind then the dog eats the tiger. If something visits the dog then it eats the tiger. If something is cold then it visits the dog. If something visits the rabbit then it is cold. If something is kind and nice then it visits the tiger. If something is green then it eats the tiger.
The rabbit does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2 OR ((triple3) -> rule6) OR ((((((triple6) -> rule4)) -> rule3)) -> rule2))] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat needs the dog.[(triple5)] The cat visits the rabbit.[(triple6)] The dog eats the tiger.[(triple7 OR ((triple8) -> rule6))] The dog is green.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit visits the cat.[(triple12)] The rabbit visits the tiger.[(triple13 OR ((triple9 triple10) -> rule5))] The tiger needs the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The cat is cold.[(((triple6) -> rule4))] The tiger is cold.[(((triple15) -> rule4))] @2: The cat visits the dog.[(((((triple6) -> rule4)) -> rule3))] The tiger visits the dog.[(((((triple15) -> rule4)) -> rule3))] @3: The tiger eats the tiger.[(((((((triple15) -> rule4)) -> rule3)) -> rule2))]