The dog eats the lion. The lion chases the dog. The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion is cold. The lion is green. The lion is young. The lion visits the dog. The lion visits the mouse. The mouse chases the dog. The mouse chases the lion. The mouse eats the dog. The mouse is rough. The mouse is young. The mouse visits the lion. If someone eats the lion then they visit the mouse. If someone visits the dog and the dog is blue then they are rough. If someone eats the lion then the lion is green.
The lion is cold.
@0: The dog eats the lion.[(triple1)] The lion chases the dog.[(triple2)] The lion chases the mouse.[(triple3)] The lion eats the mouse.[(triple4)] The lion is blue.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7 OR ((triple1) -> rule3))] The lion is young.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the mouse.[(triple10)] The mouse chases the dog.[(triple11)] The mouse chases the lion.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is rough.[(triple14)] The mouse is young.[(triple15)] The mouse visits the lion.[(triple16)] @1: The dog visits the mouse.[(((triple1) -> rule1))]