The dog eats the mouse. The dog sees the tiger. The mouse eats the tiger. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is round. The mouse sees the tiger. The tiger chases the dog. The tiger eats the mouse. The tiger is nice. The tiger does not see the mouse. If the mouse eats the dog and the mouse is not round then the mouse sees the tiger. All kind things are cold. If something sees the dog and the dog eats the tiger then the dog is blue. If something chases the tiger then it chases the mouse. If something eats the dog and the dog is kind then the dog chases the mouse. If the mouse does not chase the tiger then the tiger does not eat the dog.
The mouse is not kind.
@0: The dog eats the mouse.[(triple1)] The dog sees the tiger.[(triple2)] The mouse eats the tiger.[(triple3)] The mouse is cold.[(triple4 OR ((triple5) -> rule2))] The mouse is kind.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger does not see the mouse.[(triple12)] The tiger eats the mouse.[(triple10)] The tiger is nice.[(triple11)]