The dog chases the mouse. The dog eats the mouse. The dog is cold. The dog is kind. The dog is red. The dog sees the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is green. The mouse sees the dog. If something is cold and it sees the dog then the dog is kind. If something chases the mouse and it eats the mouse then the mouse chases the dog. If something chases the dog and it eats the dog then it sees the dog.
The mouse chases the mouse.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog sees the mouse.[(triple6)] The mouse chases the dog.[(triple7 OR ((triple1 triple2) -> rule2))] The mouse eats the dog.[(triple8)] The mouse is green.[(triple9)] The mouse sees the dog.[(triple10 OR ((triple7 triple8) -> rule3) OR ((((triple1 triple2) -> rule2) triple8) -> rule3))]