The bear is nice. The bear likes the mouse. The bear sees the rabbit. The mouse likes the rabbit. The rabbit chases the bear. The rabbit does not chase the mouse. The rabbit likes the mouse. If someone is blue and they like the mouse then they see the mouse. If the bear is young and the bear does not see the rabbit then the bear likes the rabbit. If someone sees the rabbit then the rabbit chases the bear. If someone chases the bear and the bear likes the mouse then the mouse likes the bear. If someone is nice and they see the bear then they like the bear. If someone sees the mouse then they are young. If someone chases the rabbit and they do not see the bear then they are kind. If someone likes the rabbit and they do not see the mouse then they do not chase the mouse.
The rabbit sees the rabbit.
@0: The bear is nice.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the rabbit.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit chases the bear.[(triple5 OR ((triple3) -> rule3))] The rabbit does not chase the mouse.[(triple6)] The rabbit likes the mouse.[(triple7)] @1: The mouse likes the bear.[(((triple5 triple2) -> rule4) OR ((((triple3) -> rule3) triple2) -> rule4))]