The dog eats the mouse. The dog eats the rabbit. The dog is blue. The dog is kind. The mouse sees the dog. The mouse sees the tiger. The rabbit visits the mouse. The tiger eats the dog. The tiger eats the rabbit. The tiger visits the dog. If someone eats the dog then the dog is round. If someone eats the tiger and they eat the dog then they are blue. If someone is blue and they visit the mouse then they visit the dog. If someone sees the tiger and they are red then the tiger sees the rabbit. If someone eats the dog and the dog sees the rabbit then the rabbit visits the dog. If the mouse eats the rabbit then the rabbit eats the tiger. All blue people are cold. If someone is red and they see the rabbit then the rabbit is kind.
The tiger does not eat the rabbit.
@0: The dog eats the mouse.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The mouse sees the dog.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit visits the mouse.[(triple7)] The tiger eats the dog.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger visits the dog.[(triple10)] @1: The dog is cold.[(((triple3) -> rule7))] The dog is round.[(((triple8) -> rule1))]