The lion chases the mouse. The lion is big. The mouse chases the lion. The mouse is kind. The mouse is round. The mouse likes the lion. The mouse visits the lion. If someone chases the mouse then the mouse is cold. If someone is cold and they like the mouse then the mouse is round. If the lion visits the mouse and the lion chases the mouse then the lion likes the mouse. If someone chases the lion then the lion visits the mouse. If someone likes the lion and the lion chases the mouse then the lion is young. If the lion is kind then the lion visits the mouse.
The mouse is not round.
@0: The lion chases the mouse.[(triple1)] The lion is big.[(triple2)] The mouse chases the lion.[(triple3)] The mouse is kind.[(triple4)] The mouse is round.[(triple5)] The mouse likes the lion.[(triple6)] The mouse visits the lion.[(triple7)] @1: The lion is young.[(((triple6 triple1) -> rule5))] The lion visits the mouse.[(((triple3) -> rule4))] The mouse is cold.[(((triple1) -> rule1))] @2: The lion likes the mouse.[(((((triple3) -> rule4) triple1) -> rule3))]