The bear chases the dog. The bear chases the squirrel. The bear eats the cow. The bear eats the dog. The bear is green. The cow eats the bear. The cow is kind. The dog chases the bear. The dog chases the cow. The dog eats the squirrel. The dog is big. The dog is kind. The dog sees the squirrel. The squirrel is green. The squirrel sees the cow. If someone eats the squirrel then they eat the dog. If someone is big then they chase the cow. If someone sees the dog then the dog is round. If someone sees the squirrel and the squirrel sees the cow then they see the dog. If the dog is rough and the dog sees the squirrel then the squirrel eats the dog. If the cow chases the bear then the bear is big. If someone is green then they chase the dog. If the dog sees the squirrel and the squirrel is big then the dog chases the cow.
The cow does not chase the dog.
@0: The bear chases the dog.[(triple1 OR ((triple5) -> rule7))] The bear chases the squirrel.[(triple2)] The bear eats the cow.[(triple3)] The bear eats the dog.[(triple4)] The bear is green.[(triple5)] The cow eats the bear.[(triple6)] The cow is kind.[(triple7)] The dog chases the bear.[(triple8)] The dog chases the cow.[(triple9 OR ((triple11) -> rule2))] The dog eats the squirrel.[(triple10)] The dog is big.[(triple11)] The dog is kind.[(triple12)] The dog sees the squirrel.[(triple13)] The squirrel is green.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The dog eats the dog.[(((triple10) -> rule1))] The dog sees the dog.[(((triple13 triple15) -> rule4))] The squirrel chases the dog.[(((triple14) -> rule7))] @2: The dog is round.[(((((triple13 triple15) -> rule4)) -> rule3))]