The bear chases the cow. The bear sees the dog. The cow is not big. The cow likes the bear. The cow likes the rabbit. The dog chases the cow. The dog chases the rabbit. The dog is rough. The dog likes the cow. The dog does not see the cow. The rabbit chases the bear. The rabbit does not chase the dog. The rabbit is round. The rabbit likes the dog. The rabbit sees the dog. If something chases the rabbit and it is round then it likes the rabbit. If something is round then it sees the rabbit. If something chases the rabbit then the rabbit chases the cow. If something likes the cow then it sees the bear. If something sees the dog and the dog does not like the bear then the dog is rough. If the cow is blue then the cow likes the dog.
The rabbit does not like the rabbit.
@0: The bear chases the cow.[(triple1)] The bear sees the dog.[(triple2)] The cow is not big.[(triple3)] The cow likes the bear.[(triple4)] The cow likes the rabbit.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the rabbit.[(triple7)] The dog does not see the cow.[(triple10)] The dog is rough.[(triple8)] The dog likes the cow.[(triple9)] The rabbit chases the bear.[(triple11)] The rabbit does not chase the dog.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The dog sees the bear.[(((triple9) -> rule4))] The rabbit chases the cow.[(((triple7) -> rule3))] The rabbit sees the rabbit.[(((triple13) -> rule2))]