The dog eats the rabbit. The dog is cold. The dog is not green. The dog is not nice. The mouse chases the dog. The mouse likes the rabbit. The rabbit eats the dog. If something chases the rabbit and the rabbit does not chase the mouse then the rabbit likes the dog. If something is cold then it is not nice. If the mouse is nice then the mouse chases the dog. Cold things are not green. If something eats the rabbit then it eats the mouse. If something is nice and big then it does not like the rabbit. If something eats the mouse then the mouse eats the rabbit. If something likes the dog then the dog does not chase the mouse.
The mouse eats the mouse.
@0: The dog eats the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is not green.[(triple3 OR ((triple2) -> rule4))] The dog is not nice.[(triple4 OR ((triple2) -> rule2))] The mouse chases the dog.[(triple5)] The mouse likes the rabbit.[(triple6)] The rabbit eats the dog.[(triple7)] @1: The dog eats the mouse.[(((triple1) -> rule5))] @2: The mouse eats the rabbit.[(((((triple1) -> rule5)) -> rule7))] @3: The mouse eats the mouse.[(((((((triple1) -> rule5)) -> rule7)) -> rule5))]