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