The bear eats the rabbit. The bear visits the lion. The lion visits the bear. The lion visits the mouse. The lion visits the rabbit. The mouse eats the bear. The rabbit eats the bear. If the bear visits the lion then the lion eats the rabbit. If someone needs the bear then the bear eats the mouse. If someone visits the rabbit and the rabbit is kind then the rabbit visits the lion. If someone eats the bear then they are rough. If someone is kind then they are cold. If someone needs the rabbit then they are cold. If someone eats the rabbit and they are rough then the rabbit visits the bear. If someone visits the lion and the lion needs the rabbit then the rabbit is round.
The bear is not cold.
@0: The bear eats the rabbit.[(triple1)] The bear visits the lion.[(triple2)] The lion visits the bear.[(triple3)] The lion visits the mouse.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse eats the bear.[(triple6)] The rabbit eats the bear.[(triple7)] @1: The lion eats the rabbit.[(((triple2) -> rule1))] The mouse is rough.[(((triple6) -> rule4))] The rabbit is rough.[(((triple7) -> rule4))]