The bear chases the mouse. The bear eats the mouse. The bear does not eat the rabbit. The bear is blue. The bear likes the mouse. The bear likes the rabbit. The mouse chases the bear. The mouse chases the rabbit. The mouse eats the bear. The mouse eats the rabbit. The mouse is cold. The mouse likes the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit is blue. The rabbit likes the mouse. If something is cold and green then it chases the mouse. If something eats the bear then it chases the mouse. If something chases the bear then the bear eats the mouse. If the rabbit likes the bear then the rabbit does not eat the mouse. If something is kind then it chases the rabbit. If something likes the rabbit then the rabbit is green. If something chases the mouse and it eats the rabbit then the rabbit is kind. If the bear likes the mouse and the bear eats the mouse then the bear is green.
The bear likes the bear.
@0: The bear chases the mouse.[(triple1)] The bear does not eat the rabbit.[(triple3)] The bear eats the mouse.[(triple2 OR ((triple7) -> rule3))] The bear is blue.[(triple4)] The bear likes the mouse.[(triple5)] The bear likes the rabbit.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the bear.[(triple12)] The rabbit chases the mouse.[(triple13 OR ((triple14) -> rule2))] The rabbit eats the bear.[(triple14)] The rabbit is blue.[(triple15)] The rabbit likes the mouse.[(triple16)] @1: The bear is green.[(((triple5 triple2) -> rule8) OR ((triple5 ((triple7) -> rule3)) -> rule8))] The mouse chases the mouse.[(((triple9) -> rule2))] The rabbit is green.[(((triple6) -> rule6))] @2: The rabbit is kind.[(((((triple9) -> rule2) triple10) -> rule7))] @3: The rabbit chases the rabbit.[(((((((triple9) -> rule2) triple10) -> rule7)) -> rule5))]