The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle is red. The lion chases the rabbit. The lion is cold. The lion likes the bald eagle. The lion likes the mouse. The mouse chases the lion. The mouse is red. The mouse likes the lion. The mouse likes the rabbit. The mouse does not see the lion. The rabbit is kind. The rabbit sees the bald eagle. If someone chases the rabbit then they are kind. If someone is kind then they see the rabbit. If someone chases the lion and they are not kind then the lion does not see the rabbit.
The mouse does not like the rabbit.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is red.[(triple4)] The lion chases the rabbit.[(triple5)] The lion is cold.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion likes the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse does not see the lion.[(triple13)] The mouse is red.[(triple10)] The mouse likes the lion.[(triple11)] The mouse likes the rabbit.[(triple12)] The rabbit is kind.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The bald eagle is kind.[(((triple2) -> rule1))] The lion is kind.[(((triple5) -> rule1))] The rabbit sees the rabbit.[(((triple14) -> rule2))] @2: The bald eagle sees the rabbit.[(((((triple2) -> rule1)) -> rule2))] The lion sees the rabbit.[(((((triple5) -> rule1)) -> rule2))]