The dog eats the lion. The dog is big. The dog is blue. The dog is nice. The dog is round. The dog is young. The dog likes the lion. The dog visits the lion. The lion eats the dog. The lion is big. The lion is blue. The lion is nice. The lion is round. The lion is young. The lion likes the dog. The lion visits the dog. If someone likes the lion and the lion visits the dog then they are big. If someone eats the dog then the dog likes the lion. If someone likes the lion and they like the dog then the dog is round.
The dog visits the lion.
@0: The dog eats the lion.[(triple1)] The dog is big.[(triple2 OR ((triple7 triple16) -> rule1) OR ((((triple9) -> rule2) triple16) -> rule1))] The dog is blue.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog likes the lion.[(triple7 OR ((triple9) -> rule2))] The dog visits the lion.[(triple8)] The lion eats the dog.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion is young.[(triple14)] The lion likes the dog.[(triple15)] The lion visits the dog.[(triple16)]