The bear eats the rabbit. The bear is big. The bear is green. The dog chases the bear. The dog visits the rabbit. The rabbit chases the squirrel. The rabbit is kind. The rabbit is nice. The squirrel chases the rabbit. The squirrel eats the bear. The squirrel eats the dog. The squirrel is big. If someone visits the bear then they visit the squirrel. If the bear is nice then the bear is kind. If someone is green and kind then they are rough. If someone chases the rabbit then the rabbit visits the bear. If the bear chases the squirrel and the squirrel visits the dog then the dog is green. If the rabbit is rough then the rabbit visits the dog.
The dog visits the bear.
@0: The bear eats the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The dog chases the bear.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is big.[(triple12)] @1: The rabbit visits the bear.[(((triple9) -> rule4))] @2: The rabbit visits the squirrel.[(((((triple9) -> rule4)) -> rule1))]