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