The dog is cold. The mouse does not see the dog. The tiger sees the mouse. If something sees the dog then the dog eats the mouse. If something eats the mouse then it does not visit the mouse. If something sees the mouse then the mouse eats the tiger. If something is young and blue then it eats the tiger. If something visits the tiger then the tiger is red. If something is red and it eats the tiger then it eats the mouse. If something eats the tiger then it is round. If something visits the mouse and it does not eat the mouse then it is round.
The dog is cold.
@0: The dog is cold.[(triple1)] The mouse does not see the dog.[(triple2)] The tiger sees the mouse.[(triple3)] @1: The mouse eats the tiger.[(((triple3) -> rule3))] @2: The mouse is round.[(((((triple3) -> rule3)) -> rule7))]