The bear does not like the tiger. The mouse is kind. The tiger chases the bear. If the tiger is round and the tiger is not green then the tiger chases the mouse. Kind things are red. If something is cold and it visits the bear then the bear chases the tiger. If something is round and it does not like the mouse then the mouse visits the bear. If the mouse visits the tiger and the tiger chases the bear then the mouse likes the tiger. If something is cold then it does not chase the tiger. Red things are cold. If something visits the tiger and it is not cold then the tiger likes the bear.
The mouse does not chase the bear.
@0: The bear does not like the tiger.[(triple1)] The mouse is kind.[(triple2)] The tiger chases the bear.[(triple3)] @1: The mouse is red.[(((triple2) -> rule2))] @2: The mouse is cold.[(((((triple2) -> rule2)) -> rule7))] @3: The mouse does not chase the tiger.[(((((((triple2) -> rule2)) -> rule7)) -> rule6))]