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