The dog is cold. The dog is green. The dog is red. The dog is young. The dog sees the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is young. The rabbit sees the dog. The rabbit visits the dog. If the rabbit eats the dog and the dog does not eat the rabbit then the dog sees the rabbit. All red people are young. If someone is rough and they eat the dog then they are young. If the rabbit does not see the dog then the rabbit eats the dog. If someone sees the dog then the dog is young. If the rabbit sees the dog and the dog eats the rabbit then the dog is not cold. If someone is rough then they are red. If someone eats the rabbit and they are cold then the rabbit is cold.
The dog does not see the rabbit.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4 OR ((triple3) -> rule2) OR ((triple9) -> rule5))] The dog sees the rabbit.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit visits the dog.[(triple10)]