The dog eats the lion. The dog is young. The dog likes the lion. The dog likes the rabbit. The dog sees the lion. The lion does not eat the dog. The lion is not red. The lion does not like the rabbit. The lion sees the dog. The rabbit eats the dog. The rabbit eats the lion. The rabbit is kind. The rabbit is red. The rabbit likes the dog. The rabbit likes the lion. The rabbit does not see the lion. If someone sees the rabbit then they are young. If someone eats the rabbit and they like the dog then they are young. If someone eats the rabbit and the rabbit sees the lion then they see the rabbit. If someone likes the dog and they see the lion then they do not see the rabbit. If someone eats the lion then the lion likes the dog. If someone is blue and they do not eat the dog then the dog eats the rabbit. If someone eats the dog and they are not big then they like the dog. If someone is big and not red then they are kind.
The dog likes the lion.
@0: The dog eats the lion.[(triple1)] The dog is young.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the rabbit.[(triple4)] The dog sees the lion.[(triple5)] The lion does not eat the dog.[(triple6)] The lion does not like the rabbit.[(triple8)] The lion is not red.[(triple7)] The lion sees the dog.[(triple9)] The rabbit does not see the lion.[(triple16)] The rabbit eats the dog.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The lion likes the dog.[(((triple1) -> rule5) OR ((triple11) -> rule5))]