The dog likes the lion. The lion chases the mouse. The mouse is cold. If something chases the lion and the lion is red then the lion likes the mouse. If something is cold and it sees the mouse then it likes the mouse. If something is rough then it sees the dog. If something is big and it sees the mouse then it chases the dog. If something likes the dog and it chases the lion then the lion sees the dog. If something chases the mouse then the mouse sees the lion. If something sees the mouse then the mouse is blue. If something sees the lion then the lion chases the dog.
The dog does not like the lion.
@0: The dog likes the lion.[(triple1)] The lion chases the mouse.[(triple2)] The mouse is cold.[(triple3)] @1: The mouse sees the lion.[(((triple2) -> rule6))] @2: The lion chases the dog.[(((((triple2) -> rule6)) -> rule8))]