The cow is blue. The dog chases the cow. The dog likes the lion. The dog likes the mouse. The dog sees the cow. The dog sees the mouse. The lion is blue. The lion is nice. The mouse is blue. The mouse is nice. The mouse is young. The mouse likes the cow. The mouse likes the dog. The mouse sees the dog. The mouse sees the lion. If something chases the lion then it chases the dog. If something sees the mouse and it likes the cow then it chases the lion. If something likes the dog and the dog likes the mouse then it sees the mouse.
The mouse sees the lion.
@0: The cow is blue.[(triple1)] The dog chases the cow.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the mouse.[(triple4)] The dog sees the cow.[(triple5)] The dog sees the mouse.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The mouse is blue.[(triple9)] The mouse is nice.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cow.[(triple12)] The mouse likes the dog.[(triple13)] The mouse sees the dog.[(triple14)] The mouse sees the lion.[(triple15)] @1: The mouse sees the mouse.[(((triple13 triple4) -> rule3))] @2: The mouse chases the lion.[(((((triple13 triple4) -> rule3) triple12) -> rule2))] @3: The mouse chases the dog.[(((((((triple13 triple4) -> rule3) triple12) -> rule2)) -> rule1))]