The dog chases the mouse. The dog eats the mouse. The dog is cold. The dog is green. The dog is kind. The dog is nice. The dog is young. The dog sees the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is green. The mouse is kind. If something eats the dog and it chases the dog then it sees the mouse. If something is young and it chases the mouse then the mouse sees the dog.
The mouse is young.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is nice.[(triple6)] The dog is young.[(triple7)] The dog sees the mouse.[(triple8)] The mouse chases the dog.[(triple9)] The mouse eats the dog.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] @1: The mouse sees the dog.[(((triple7 triple1) -> rule2))] The mouse sees the mouse.[(((triple10 triple9) -> rule1))]