The dog does not chase the rabbit. The dog visits the lion. The lion chases the dog. The lion chases the rabbit. The lion is kind. The lion is not red. The lion likes the rabbit. The lion visits the rabbit. The rabbit chases the dog. The rabbit chases the lion. The rabbit is not blue. The rabbit is round. The rabbit likes the dog. The rabbit likes the lion. The rabbit visits the dog. If something likes the rabbit and it does not like the lion then the lion is not round. If something chases the lion then the lion does not visit the dog. If something chases the lion and it chases the dog then the dog is not blue. If something visits the dog then it visits the rabbit. If something chases the lion then it chases the dog. Red things are not blue. If the dog does not visit the rabbit then the rabbit is red. If the lion is not nice and the lion is not blue then the lion chases the rabbit.
The dog is not red.
@0: The dog does not chase the rabbit.[(triple1)] The dog visits the lion.[(triple2)] The lion chases the dog.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is kind.[(triple5)] The lion is not red.[(triple6)] The lion likes the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit chases the dog.[(triple9 OR ((triple10) -> rule5))] The rabbit chases the lion.[(triple10)] The rabbit is not blue.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The dog is not blue.[(((triple10 triple9) -> rule3) OR ((triple10 ((triple10) -> rule5)) -> rule3))] The lion does not visit the dog.[(((triple10) -> rule2))] The rabbit visits the rabbit.[(((triple15) -> rule4))]