The lion does not chase the mouse. The lion is blue. The lion is cold. The lion is kind. The mouse chases the lion. The mouse is not big. The mouse is not blue. The mouse is cold. The mouse is not green. The mouse is kind. The mouse does not see the lion. The mouse visits the lion. If something visits the mouse then the mouse visits the lion. If the mouse chases the lion and the mouse visits the lion then the mouse does not see the lion. If something is green and it does not visit the mouse then the mouse sees the lion. If something visits the mouse and the mouse sees the lion then the lion sees the mouse. If the mouse is kind then the mouse chases the lion. If something sees the mouse then it sees the lion. If something chases the mouse then it is cold. If the lion does not see the mouse then the lion does not chase the mouse.
The lion is big.
@0: The lion does not chase the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The mouse chases the lion.[(triple5 OR ((triple10) -> rule5))] The mouse does not see the lion.[(triple11 OR ((triple5 triple12) -> rule2) OR ((((triple10) -> rule5) triple12) -> rule2))] The mouse is cold.[(triple8)] The mouse is kind.[(triple10)] The mouse is not big.[(triple6)] The mouse is not blue.[(triple7)] The mouse is not green.[(triple9)] The mouse visits the lion.[(triple12)]