The dog chases the rabbit. The dog eats the rabbit. The dog is kind. The dog is red. The rabbit does not chase the dog. The rabbit eats the dog. The rabbit is kind. The rabbit is nice. The rabbit is not red. The rabbit is rough. The rabbit is round. The rabbit needs the dog. If something chases the rabbit then it eats the rabbit. If something is rough and not nice then it chases the dog. If something needs the rabbit and it does not chase the rabbit then the rabbit eats the dog.
The rabbit does not eat the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2 OR ((triple1) -> rule1))] The dog is kind.[(triple3)] The dog is red.[(triple4)] The rabbit does not chase the dog.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is not red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit is round.[(triple11)] The rabbit needs the dog.[(triple12)]