The dog chases the mouse. The dog eats the lion. The dog is cold. The dog is kind. The dog is rough. The dog needs the lion. The dog needs the mouse. The lion chases the dog. The lion eats the dog. The lion eats the mouse. The lion is green. The lion needs the dog. The lion needs the mouse. The mouse chases the dog. The mouse eats the lion. If the mouse chases the dog and the mouse eats the lion then the dog chases the lion. If something needs the lion then the lion eats the mouse. If something needs the dog and it eats the lion then the lion needs the mouse. If the dog is green and the dog is cold then the dog chases the lion. If the lion chases the mouse then the lion eats the dog. If something is green and it eats the lion then it needs the dog.
The dog eats the mouse.
@0: The dog chases the mouse.[(triple1)] The dog eats the lion.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog needs the lion.[(triple6)] The dog needs the mouse.[(triple7)] The lion chases the dog.[(triple8)] The lion eats the dog.[(triple9)] The lion eats the mouse.[(triple10 OR ((triple6) -> rule2))] The lion is green.[(triple11)] The lion needs the dog.[(triple12)] The lion needs the mouse.[(triple13)] The mouse chases the dog.[(triple14)] The mouse eats the lion.[(triple15)] @1: The dog chases the lion.[(((triple14 triple15) -> rule1))]