The bear sees the rabbit. The cow eats the bear. The cow visits the rabbit. The mouse eats the rabbit. The mouse is kind. The mouse is nice. The rabbit is cold. If someone eats the rabbit then they are kind. If the cow sees the mouse then the cow eats the bear. If someone eats the rabbit and they visit the cow then the rabbit visits the mouse. If someone eats the bear and the bear visits the mouse then the bear sees the cow. If someone visits the cow and the cow is kind then they eat the cow. If someone sees the cow then the cow visits the bear. Blue people are rough. If the bear visits the mouse then the bear visits the cow.
The mouse is cold.
@0: The bear sees the rabbit.[(triple1)] The cow eats the bear.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is kind.[(triple5 OR ((triple4) -> rule1))] The mouse is nice.[(triple6)] The rabbit is cold.[(triple7)]