The bear chases the cow. The bear eats the mouse. The bear is not blue. The bear sees the mouse. The cow eats the mouse. The cow is blue. The cow is green. The mouse chases the cow. The mouse eats the bear. The mouse eats the cow. The mouse sees the bear. The mouse sees the cow. If someone is big then they do not see the bear. If someone eats the cow then they see the bear. If someone sees the bear and they do not eat the cow then the bear does not chase the mouse. If the mouse does not eat the bear then the bear eats the mouse. If someone chases the cow and the cow is blue then the cow chases the mouse. If someone eats the mouse and they chase the mouse then they are big.
The mouse is big.
@0: The bear chases the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear is not blue.[(triple3)] The bear sees the mouse.[(triple4)] The cow eats the mouse.[(triple5)] The cow is blue.[(triple6)] The cow is green.[(triple7)] The mouse chases the cow.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the cow.[(triple10)] The mouse sees the bear.[(triple11 OR ((triple10) -> rule2))] The mouse sees the cow.[(triple12)] @1: The cow chases the mouse.[(((triple1 triple6) -> rule5) OR ((triple8 triple6) -> rule5))] @2: The cow is big.[(((triple5 ((triple1 triple6) -> rule5)) -> rule6) OR ((triple5 ((triple8 triple6) -> rule5)) -> rule6))] @3: The cow does not see the bear.[(((((triple5 ((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple5 ((triple8 triple6) -> rule5)) -> rule6)) -> rule1))]