The dog eats the rabbit. The dog eats the squirrel. The dog is green. The dog is young. The rabbit chases the dog. The rabbit eats the dog. The rabbit is green. The rabbit likes the squirrel. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel eats the dog. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel likes the dog. The squirrel likes the rabbit. If something chases the squirrel then the squirrel does not like the rabbit. If something is red and it likes the dog then the dog eats the rabbit. If something likes the rabbit and it chases the dog then it eats the squirrel. If something is young and it does not eat the dog then it is green. If something is red and it does not chase the squirrel then the squirrel chases the dog. If the dog is young then the dog does not like the squirrel.
The squirrel does not like the dog.
@0: The dog eats the rabbit.[(triple1 OR ((triple14 triple15) -> rule2))] The dog eats the squirrel.[(triple2)] The dog is green.[(triple3)] The dog is young.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is green.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel likes the dog.[(triple15)] The squirrel likes the rabbit.[(triple16)] @1: The dog does not like the squirrel.[(((triple4) -> rule6))] The squirrel eats the squirrel.[(((triple16 triple9) -> rule3))]