The dog eats the rabbit. The dog eats the tiger. The dog is cold. The dog is nice. The dog is round. The dog sees the tiger. The mouse eats the dog. The mouse is cold. The mouse visits the dog. The mouse visits the rabbit. The rabbit sees the mouse. The rabbit visits the mouse. The tiger eats the mouse. The tiger is nice. The tiger sees the mouse. The tiger visits the rabbit. If someone sees the tiger then they visit the mouse. If the mouse is nice then the mouse is kind. If someone sees the tiger then the tiger is cold. If the mouse visits the tiger and the mouse eats the tiger then the tiger is big. If someone is cold then they see the dog. If the rabbit is nice and the rabbit visits the dog then the dog visits the mouse.
The dog does not eat the rabbit.
@0: The dog eats the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog sees the tiger.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is cold.[(triple8)] The mouse visits the dog.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The dog sees the dog.[(((triple3) -> rule5))] The dog visits the mouse.[(((triple6) -> rule1))] The mouse sees the dog.[(((triple8) -> rule5))] The tiger is cold.[(((triple6) -> rule3))] @2: The tiger sees the dog.[(((((triple6) -> rule3)) -> rule5))]