The bear does not chase the cow. The bear is green. The bear is kind. The bear likes the cow. The bear likes the mouse. The bear sees the mouse. The cow chases the bear. The cow is big. The cow does not like the bear. The mouse is blue. The mouse is green. The mouse is rough. The mouse likes the bear. The mouse likes the cow. The mouse sees the bear. The mouse sees the cow. If someone chases the bear then they see the mouse. If someone chases the mouse and the mouse likes the bear then the bear does not see the cow. If someone likes the mouse and they are big then the mouse sees the cow. If someone likes the mouse and they are big then they chase the mouse. If someone likes the cow and the cow sees the mouse then the cow chases the mouse. If the cow chases the bear then the bear is green. If someone likes the cow and they see the mouse then the mouse chases the cow. If someone chases the mouse and they chase the bear then the mouse is not kind.
The bear does not see the cow.
@0: The bear does not chase the cow.[(triple1)] The bear is green.[(triple2 OR ((triple7) -> rule6))] The bear is kind.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the mouse.[(triple6)] The cow chases the bear.[(triple7)] The cow does not like the bear.[(triple9)] The cow is big.[(triple8)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the cow.[(triple14)] The mouse sees the bear.[(triple15)] The mouse sees the cow.[(triple16)] @1: The cow sees the mouse.[(((triple7) -> rule1))] The mouse chases the cow.[(((triple4 triple6) -> rule7))] @2: The cow chases the mouse.[(((triple14 ((triple7) -> rule1)) -> rule5) OR ((triple4 ((triple7) -> rule1)) -> rule5))] @3: The bear does not see the cow.[(((((triple14 ((triple7) -> rule1)) -> rule5) triple13) -> rule2) OR ((((triple4 ((triple7) -> rule1)) -> rule5) triple13) -> rule2))] The mouse is not kind.[(((((triple14 ((triple7) -> rule1)) -> rule5) triple7) -> rule8) OR ((((triple4 ((triple7) -> rule1)) -> rule5) triple7) -> rule8))]