The dog is nice. The dog is red. The dog likes the lion. The dog sees the lion. The dog sees the rabbit. The lion is green. The lion is nice. The lion is young. The lion likes the rabbit. The lion sees the dog. The lion visits the dog. The rabbit is young. The rabbit likes the lion. The rabbit sees the dog. The rabbit sees the lion. The rabbit visits the lion. If something visits the dog and it sees the dog then the dog is green. If the rabbit visits the lion then the rabbit sees the dog. If the rabbit sees the lion and the lion visits the rabbit then the rabbit likes the dog.
The dog is not red.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3)] The dog sees the lion.[(triple4)] The dog sees the rabbit.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion is young.[(triple8)] The lion likes the rabbit.[(triple9)] The lion sees the dog.[(triple10)] The lion visits the dog.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit sees the dog.[(triple14 OR ((triple16) -> rule2))] The rabbit sees the lion.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The dog is green.[(((triple11 triple10) -> rule1))]