The lion chases the rabbit. The lion is rough. The lion sees the mouse. The lion sees the rabbit. The lion visits the mouse. The lion visits the rabbit. The mouse chases the lion. The mouse chases the rabbit. The mouse is not big. The mouse is not cold. The mouse does not visit the rabbit. The rabbit is blue. The rabbit is cold. The rabbit is not rough. The rabbit sees the lion. The rabbit does not visit the lion. If something chases the mouse then the mouse chases the lion. If something chases the rabbit and the rabbit chases the mouse then the mouse chases the lion. If something sees the rabbit then it is blue.
The mouse is not blue.
@0: The lion chases the rabbit.[(triple1)] The lion is rough.[(triple2)] The lion sees the mouse.[(triple3)] The lion sees the rabbit.[(triple4)] The lion visits the mouse.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse chases the lion.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse does not visit the rabbit.[(triple11)] The mouse is not big.[(triple9)] The mouse is not cold.[(triple10)] The rabbit does not visit the lion.[(triple16)] The rabbit is blue.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is not rough.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The lion is blue.[(((triple4) -> rule3))]