The bear is cold. The mouse chases the tiger. The tiger visits the mouse. If something eats the bear then it is red. If the tiger chases the bear then the bear is green. If something is cold then it eats the mouse. If something is cold and it visits the tiger then the tiger is kind. If something visits the mouse then it chases the tiger. If something eats the mouse then the mouse eats the bear. If something visits the bear and the bear does not eat the mouse then it eats the tiger. If something eats the bear and it chases the bear then it eats the tiger.
The tiger is not kind.
@0: The bear is cold.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger visits the mouse.[(triple3)] @1: The bear eats the mouse.[(((triple1) -> rule3))] The tiger chases the tiger.[(((triple3) -> rule5))] @2: The mouse eats the bear.[(((((triple1) -> rule3)) -> rule6))] @3: The mouse is red.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))]