The dog sees the tiger. The lion is cold. The lion is red. The lion is young. The lion sees the rabbit. The lion visits the dog. The rabbit is red. The rabbit is round. The rabbit is not young. The rabbit does not see the tiger. The rabbit visits the dog. The rabbit visits the lion. The tiger does not chase the dog. The tiger is not red. The tiger sees the rabbit. The tiger does not visit the rabbit. If the rabbit is red then the rabbit does not see the lion. If the tiger chases the dog and the dog is not cold then the tiger is kind. If something visits the rabbit and it is round then it does not see the rabbit. If something chases the rabbit then the rabbit visits the lion. If something is round and it sees the rabbit then the rabbit does not see the tiger. If the lion is round then the lion is cold. If something visits the dog then the dog does not chase the lion. If something visits the rabbit and it is not young then the rabbit does not chase the dog.
The rabbit is red.
@0: The dog sees the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion sees the rabbit.[(triple5)] The lion visits the dog.[(triple6)] The rabbit does not see the tiger.[(triple10)] The rabbit is not young.[(triple9)] The rabbit is red.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the dog.[(triple11)] The rabbit visits the lion.[(triple12)] The tiger does not chase the dog.[(triple13)] The tiger does not visit the rabbit.[(triple16)] The tiger is not red.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The dog does not chase the lion.[(((triple11) -> rule7) OR ((triple6) -> rule7))] The rabbit does not see the lion.[(((triple7) -> rule1))]