The bear eats the dog. The bear eats the tiger. The bear is cold. The bear is rough. The bear is young. The bear visits the mouse. The dog eats the bear. The dog eats the mouse. The dog is big. The dog is cold. The dog is rough. The dog visits the mouse. The mouse eats the dog. The mouse is cold. The tiger is cold. The tiger visits the dog. If someone visits the bear and they eat the bear then they eat the dog. If the bear is kind then the bear visits the dog. If the bear is rough then the bear visits the dog. If someone chases the tiger then they are kind. If someone visits the bear then they visit the tiger. If someone is young and they visit the dog then the dog chases the mouse. If someone is kind and they chase the tiger then the tiger chases the bear. If someone chases the mouse then they chase the dog.
The bear does not visit the dog.
@0: The bear eats the dog.[(triple1)] The bear eats the tiger.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear visits the mouse.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the mouse.[(triple8)] The dog is big.[(triple9)] The dog is cold.[(triple10)] The dog is rough.[(triple11)] The dog visits the mouse.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is cold.[(triple14)] The tiger is cold.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bear visits the dog.[(((triple4) -> rule3))] @2: The dog chases the mouse.[(((triple5 ((triple4) -> rule3)) -> rule6))] @3: The dog chases the dog.[(((((triple5 ((triple4) -> rule3)) -> rule6)) -> rule8))]