The bear chases the dog. The bear is young. The bear sees the cow. The cow chases the bear. The cow is cold. The dog chases the cow. The dog eats the cow. The dog is kind. The dog sees the bear. The dog sees the cow. If someone eats the bear and the bear chases the cow then they are young. If someone chases the bear and they eat the cow then they eat the bear. If someone eats the dog and the dog sees the cow then they are rough. If someone sees the dog and they chase the cow then the dog sees the bear. If someone is rough then they see the dog. All young, rough people are cold. If someone chases the dog then they eat the dog. If someone sees the cow and the cow sees the dog then they are nice.
The bear does not eat the cow.
@0: The bear chases the dog.[(triple1)] The bear is young.[(triple2)] The bear sees the cow.[(triple3)] The cow chases the bear.[(triple4)] The cow is cold.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cow.[(triple7)] The dog is kind.[(triple8)] The dog sees the bear.[(triple9)] The dog sees the cow.[(triple10)] @1: The bear eats the dog.[(((triple1) -> rule7))] @2: The bear is rough.[(((((triple1) -> rule7) triple10) -> rule3))] @3: The bear is cold.[(((triple2 ((((triple1) -> rule7) triple10) -> rule3)) -> rule6))] The bear sees the dog.[(((((((triple1) -> rule7) triple10) -> rule3)) -> rule5))]