The bear is not big. The bear is nice. The cow does not chase the dog. The cow is nice. The cow likes the bear. The cow does not like the squirrel. The dog does not eat the bear. The dog eats the cow. The dog is kind. The squirrel chases the bear. The squirrel chases the dog. If someone eats the bear and they like the squirrel then the squirrel chases the dog. If someone chases the cow then the cow is rough. If someone is rough then they like the squirrel. If someone likes the squirrel then the squirrel is rough. If the dog eats the cow then the dog is rough. If someone likes the squirrel and the squirrel eats the cow then they are round. If someone likes the bear then they like the cow. If someone likes the squirrel then they eat the squirrel. If someone chases the cow and the cow is not rough then they eat the squirrel.
The bear does not eat the bear.
@0: The bear is nice.[(triple2)] The bear is not big.[(triple1)] The cow does not chase the dog.[(triple3)] The cow does not like the squirrel.[(triple6)] The cow is nice.[(triple4)] The cow likes the bear.[(triple5)] The dog does not eat the bear.[(triple7)] The dog eats the cow.[(triple8)] The dog is kind.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel chases the dog.[(triple11)] @1: The cow likes the cow.[(((triple5) -> rule7))] The dog is rough.[(((triple8) -> rule5))] @2: The dog likes the squirrel.[(((((triple8) -> rule5)) -> rule3))] @3: The dog eats the squirrel.[(((((((triple8) -> rule5)) -> rule3)) -> rule8))] The squirrel is rough.[(((((((triple8) -> rule5)) -> rule3)) -> rule4))] @4: The squirrel likes the squirrel.[(((((((((triple8) -> rule5)) -> rule3)) -> rule4)) -> rule3))] @5: The squirrel eats the squirrel.[(((((((((((triple8) -> rule5)) -> rule3)) -> rule4)) -> rule3)) -> rule8))]