The bear likes the mouse. The cow is red. The mouse likes the bear. If someone sees the bear then the bear eats the mouse. If someone is kind then they see the cow. If the mouse sees the cow and the cow sees the bear then the cow is nice. If someone sees the cow and they are kind then they are blue. If someone likes the bear then the bear is kind. If someone is red then they see the cow.
The bear does not like the mouse.
@0: The bear likes the mouse.[(triple1)] The cow is red.[(triple2)] The mouse likes the bear.[(triple3)] @1: The bear is kind.[(((triple3) -> rule5))] The cow sees the cow.[(((triple2) -> rule6))] @2: The bear sees the cow.[(((((triple3) -> rule5)) -> rule2))] @3: The bear is blue.[(((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))]