The dog is red. The dog is young. The dog likes the mouse. The dog likes the tiger. The mouse is not cold. The mouse visits the dog. The tiger is green. The tiger is not young. The tiger sees the mouse. The tiger visits the mouse. If someone visits the mouse then they do not see the tiger. If someone likes the mouse then they are young. If someone is cold then they visit the dog. If someone likes the mouse and they do not visit the mouse then the mouse sees the dog. If someone is green and they do not see the tiger then they see the mouse. If someone is cold and they see the mouse then they like the dog. If someone likes the dog and the dog does not visit the mouse then the dog is nice. If someone likes the dog then the dog is nice.
The mouse is not cold.
@0: The dog is red.[(triple1)] The dog is young.[(triple2 OR ((triple3) -> rule2))] The dog likes the mouse.[(triple3)] The dog likes the tiger.[(triple4)] The mouse is not cold.[(triple5)] The mouse visits the dog.[(triple6)] The tiger is green.[(triple7)] The tiger is not young.[(triple8)] The tiger sees the mouse.[(triple9 OR ((triple7 ((triple10) -> rule1)) -> rule5))] The tiger visits the mouse.[(triple10)] @1: The tiger does not see the tiger.[(((triple10) -> rule1))]