The bear chases the mouse. The bear chases the rabbit. The bear is kind. The bear likes the rabbit. The bear needs the mouse. The bear needs the rabbit. The mouse is kind. The mouse is young. The mouse likes the rabbit. The mouse needs the bear. The mouse needs the rabbit. The rabbit is red. The rabbit is young. The rabbit likes the bear. The rabbit likes the mouse. If someone chases the mouse and the mouse needs the rabbit then they chase the rabbit. If someone chases the rabbit and the rabbit likes the bear then the rabbit likes the mouse. If someone likes the bear then they are red. If someone chases the mouse then the mouse chases the bear. If someone likes the rabbit and they are nice then the rabbit chases the mouse. If someone needs the bear then the bear needs the mouse. If someone needs the mouse and they need the bear then they chase the mouse. All red people are kind.
The bear likes the rabbit.
@0: The bear chases the mouse.[(triple1)] The bear chases the rabbit.[(triple2 OR ((triple1 triple11) -> rule1))] The bear is kind.[(triple3)] The bear likes the rabbit.[(triple4)] The bear needs the mouse.[(triple5 OR ((triple10) -> rule6))] The bear needs the rabbit.[(triple6)] The mouse is kind.[(triple7)] The mouse is young.[(triple8)] The mouse likes the rabbit.[(triple9)] The mouse needs the bear.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit is red.[(triple12 OR ((triple14) -> rule3))] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the mouse.[(triple15 OR ((triple2 triple14) -> rule2) OR ((((triple1 triple11) -> rule1) triple14) -> rule2))] @1: The mouse chases the bear.[(((triple1) -> rule4))] The rabbit is kind.[(((triple12) -> rule8) OR ((((triple14) -> rule3)) -> rule8))]