The dog chases the lion. The dog eats the lion. The dog is big. The dog is blue. The dog is cold. The dog is red. The dog is round. The dog needs the lion. The lion chases the dog. The lion eats the dog. The lion is big. The lion is blue. The lion is cold. The lion is red. The lion is round. The lion needs the dog. If someone chases the lion and they eat the lion then the lion chases the dog. If someone eats the lion and the lion is red then they are blue. If someone is blue and they chase the lion then the lion chases the dog.
The lion does not eat the dog.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4 OR ((triple2 triple14) -> rule2))] The dog is cold.[(triple5)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog needs the lion.[(triple8)] The lion chases the dog.[(triple9 OR ((triple1 triple2) -> rule1) OR ((triple4 triple1) -> rule3) OR ((((triple2 triple14) -> rule2) triple1) -> rule3))] The lion eats the dog.[(triple10)] The lion is big.[(triple11)] The lion is blue.[(triple12)] The lion is cold.[(triple13)] The lion is red.[(triple14)] The lion is round.[(triple15)] The lion needs the dog.[(triple16)]