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