The cat visits the tiger. The dog eats the tiger. The dog visits the tiger. The rabbit does not eat the cat. The rabbit eats the tiger. The rabbit is big. The rabbit sees the cat. The rabbit sees the dog. The rabbit visits the dog. The tiger is cold. The tiger is red. The tiger sees the cat. The tiger sees the dog. The tiger sees the rabbit. The tiger visits the rabbit. If something is cold then it sees the rabbit.
The rabbit sees the cat.
@0: The cat visits the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog visits the tiger.[(triple3)] The rabbit does not eat the cat.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the dog.[(triple8)] The rabbit visits the dog.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger sees the cat.[(triple12)] The tiger sees the dog.[(triple13)] The tiger sees the rabbit.[(triple14 OR ((triple10) -> rule1))] The tiger visits the rabbit.[(triple15)]