The bear eats the cat. The bear is cold. The bear is kind. The bear likes the cat. The bear likes the tiger. The bear visits the mouse. The cat eats the tiger. The cat is big. The cat likes the mouse. The cat visits the mouse. The cat visits the tiger. The mouse eats the cat. The mouse is cold. The mouse visits the cat. The tiger likes the cat. If someone is green then they eat the bear. All kind people are rough. If someone visits the mouse and they eat the mouse then the mouse eats the tiger. If someone is green and kind then they eat the mouse. If the cat eats the mouse and the mouse visits the tiger then the tiger eats the bear. If someone eats the tiger then the tiger is green. If someone eats the mouse then the mouse visits the cat. If someone eats the bear then they visit the tiger.
The mouse does not like the mouse.
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the tiger.[(triple5)] The bear visits the mouse.[(triple6)] The cat eats the tiger.[(triple7)] The cat is big.[(triple8)] The cat likes the mouse.[(triple9)] The cat visits the mouse.[(triple10)] The cat visits the tiger.[(triple11)] The mouse eats the cat.[(triple12)] The mouse is cold.[(triple13)] The mouse visits the cat.[(triple14)] The tiger likes the cat.[(triple15)] @1: The bear is rough.[(((triple3) -> rule2))] The tiger is green.[(((triple7) -> rule6))] @2: The tiger eats the bear.[(((((triple7) -> rule6)) -> rule1))] @3: The tiger visits the tiger.[(((((((triple7) -> rule6)) -> rule1)) -> rule8))]