The cat is red. The cat needs the cow. The cow is red. The cow needs the cat. The cow sees the cat. The cow does not see the dog. The cow sees the tiger. The dog is blue. The dog needs the cow. The dog does not need the tiger. The dog sees the tiger. The dog visits the cat. The dog visits the cow. The tiger is cold. The tiger sees the cat. The tiger sees the cow. If something is cold and blue then it sees the dog. If something visits the dog then the dog visits the tiger. If something needs the cat then the cat visits the dog. If something visits the tiger then the tiger is blue. If something needs the dog and the dog needs the cat then the cat sees the tiger. If something sees the dog then it visits the cat. If something sees the tiger and the tiger is red then it needs the cat. If something sees the tiger and the tiger sees the dog then the tiger visits the dog.
The cow does not need the cow.
@0: The cat is red.[(triple1)] The cat needs the cow.[(triple2)] The cow does not see the dog.[(triple6)] The cow is red.[(triple3)] The cow needs the cat.[(triple4)] The cow sees the cat.[(triple5)] The cow sees the tiger.[(triple7)] The dog does not need the tiger.[(triple10)] The dog is blue.[(triple8)] The dog needs the cow.[(triple9)] The dog sees the tiger.[(triple11)] The dog visits the cat.[(triple12)] The dog visits the cow.[(triple13)] The tiger is cold.[(triple14)] The tiger sees the cat.[(triple15)] The tiger sees the cow.[(triple16)] @1: The cat visits the dog.[(((triple4) -> rule3))] @2: The dog visits the tiger.[(((((triple4) -> rule3)) -> rule2))] @3: The tiger is blue.[(((((((triple4) -> rule3)) -> rule2)) -> rule4))] @4: The tiger sees the dog.[(((triple14 ((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule1))] @5: The tiger visits the cat.[(((((triple14 ((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule1)) -> rule6))] The tiger visits the dog.[(((triple11 ((triple14 ((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule1)) -> rule8) OR ((triple7 ((triple14 ((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule1)) -> rule8))]