The dog is red. The dog is round. The dog likes the mouse. The dog visits the mouse. The mouse eats the dog. The mouse eats the tiger. The mouse is kind. The mouse is red. The mouse likes the tiger. The mouse visits the dog. The tiger is kind. The tiger is round. The tiger is young. The tiger likes the mouse. The tiger visits the dog. The tiger visits the mouse. If something is red and young then it eats the dog. If something visits the dog and the dog likes the mouse then the dog is young. If something eats the tiger then the tiger eats the mouse.
The tiger is not young.
@0: The dog is red.[(triple1)] The dog is round.[(triple2)] The dog likes the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse visits the dog.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the dog.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The dog is young.[(((triple10 triple3) -> rule2) OR ((triple15 triple3) -> rule2))] The tiger eats the mouse.[(((triple6) -> rule3))] @2: The dog eats the dog.[(((triple1 ((triple10 triple3) -> rule2)) -> rule1) OR ((triple1 ((triple15 triple3) -> rule2)) -> rule1))]