The lion chases the mouse. The lion chases the tiger. The lion sees the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is young. The mouse sees the lion. The tiger chases the lion. The tiger is nice. The tiger sees the lion. The tiger sees the mouse. The tiger visits the lion. If the lion visits the mouse then the lion is young. If someone chases the tiger then they are cold.
The tiger is not cold.
@0: The lion chases the mouse.[(triple1)] The lion chases the tiger.[(triple2)] The lion sees the mouse.[(triple3)] The lion visits the mouse.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is young.[(triple6)] The mouse sees the lion.[(triple7)] The tiger chases the lion.[(triple8)] The tiger is nice.[(triple9)] The tiger sees the lion.[(triple10)] The tiger sees the mouse.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion is cold.[(((triple2) -> rule2))] The lion is young.[(((triple4) -> rule1))]