The cat chases the lion. The cat is kind. The lion is cold. The lion is red. The lion sees the cat. The mouse is young. The mouse sees the cat. The mouse sees the lion. The mouse visits the cat. The mouse visits the lion. If someone is cold and they see the cat then the cat visits the lion. If someone visits the lion and the lion visits the cat then the lion is kind. If someone sees the lion and the lion sees the mouse then the lion chases the mouse. If someone chases the mouse then the mouse visits the lion. If someone is kind and young then they visit the mouse. If someone chases the lion and they visit the mouse then they visit the lion.
The mouse sees the cat.
@0: The cat chases the lion.[(triple1)] The cat is kind.[(triple2)] The lion is cold.[(triple3)] The lion is red.[(triple4)] The lion sees the cat.[(triple5)] The mouse is young.[(triple6)] The mouse sees the cat.[(triple7)] The mouse sees the lion.[(triple8)] The mouse visits the cat.[(triple9)] The mouse visits the lion.[(triple10)] @1: The cat visits the lion.[(((triple3 triple5) -> rule1))]