The lion is nice. The lion likes the mouse. The lion likes the rabbit. The lion likes the squirrel. The lion sees the mouse. The lion sees the rabbit. The mouse chases the squirrel. The mouse is kind. The mouse likes the squirrel. The mouse sees the lion. The mouse sees the rabbit. The mouse sees the squirrel. The rabbit is green. The rabbit is young. The rabbit sees the lion. The squirrel sees the mouse. If someone chases the lion then the lion is green. If someone is kind then they chase the lion. If someone is nice and they like the lion then the lion chases the rabbit.
The mouse is not kind.
@0: The lion is nice.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the rabbit.[(triple3)] The lion likes the squirrel.[(triple4)] The lion sees the mouse.[(triple5)] The lion sees the rabbit.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is kind.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse sees the lion.[(triple10)] The mouse sees the rabbit.[(triple11)] The mouse sees the squirrel.[(triple12)] The rabbit is green.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the lion.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The mouse chases the lion.[(((triple8) -> rule2))] @2: The lion is green.[(((((triple8) -> rule2)) -> rule1))]