The bear chases the mouse. The bear is big. The bear visits the lion. The lion chases the mouse. The lion is not round. The lion visits the rabbit. The mouse is not red. The mouse sees the lion. The mouse does not visit the lion. The rabbit chases the mouse. The rabbit visits the lion. The rabbit visits the mouse. If something visits the lion then it chases the rabbit. If something sees the bear then it does not chase the lion. If something sees the bear and it does not chase the rabbit then the bear is red.
The bear sees the rabbit.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear visits the lion.[(triple3)] The lion chases the mouse.[(triple4)] The lion is not round.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse does not visit the lion.[(triple9)] The mouse is not red.[(triple7)] The mouse sees the lion.[(triple8)] The rabbit chases the mouse.[(triple10)] The rabbit visits the lion.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The bear chases the rabbit.[(((triple3) -> rule1))] The rabbit chases the rabbit.[(((triple11) -> rule1))]