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