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