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