The bear eats the cow. The bear eats the mouse. The bear is kind. The bear is rough. The bear sees the cow. The bear sees the mouse. The cow is green. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse needs the cow. If something needs the cow and the cow needs the bear then the cow is green. If the bear sees the mouse then the mouse sees the bear. If something needs the bear then it sees the mouse. If the mouse needs the bear and the bear eats the mouse then the mouse is nice. If something eats the bear and it eats the mouse then the mouse eats the cow. If something eats the cow then the cow eats the bear. If the mouse needs the cow then the cow needs the bear. If something is kind then it needs the cow.
The bear is not kind.
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear sees the cow.[(triple5)] The bear sees the mouse.[(triple6)] The cow is green.[(triple7 OR ((triple12 ((triple12) -> rule7)) -> rule1) OR ((((triple3) -> rule8) ((triple12) -> rule7)) -> rule1) OR ((((triple9) -> rule8) ((triple12) -> rule7)) -> rule1) OR ((triple12 ((((triple9) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule8) ((((triple9) -> rule8)) -> rule7)) -> rule1) OR ((((triple9) -> rule8) ((((triple9) -> rule8)) -> rule7)) -> rule1))] The mouse is blue.[(triple8)] The mouse is kind.[(triple9)] The mouse is nice.[(triple10)] The mouse is rough.[(triple11)] The mouse needs the cow.[(triple12 OR ((triple9) -> rule8))] @1: The bear needs the cow.[(((triple3) -> rule8))] The cow eats the bear.[(((triple1) -> rule6))] The cow needs the bear.[(((triple12) -> rule7) OR ((((triple9) -> rule8)) -> rule7))] The mouse sees the bear.[(((triple6) -> rule2))] @2: The cow sees the mouse.[(((((triple12) -> rule7)) -> rule3) OR ((((((triple9) -> rule8)) -> rule7)) -> rule3))]