The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion sees the mouse. The lion visits the mouse. The mouse visits the lion. If someone is nice and they see the mouse then the mouse sees the lion. If the mouse visits the lion and the mouse sees the lion then the mouse is young. If the mouse is kind then the mouse is green.
The mouse is young.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion sees the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse visits the lion.[(triple7)] @1: The mouse sees the lion.[(((triple4 triple5) -> rule1))] @2: The mouse is young.[(((triple7 ((triple4 triple5) -> rule1)) -> rule2))]