The mouse does not chase the rabbit. The mouse is not big. The mouse is blue. The mouse is kind. The mouse is not nice. The mouse is red. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is not nice. The rabbit is not red. The rabbit needs the mouse. The rabbit sees the mouse. If someone sees the rabbit and the rabbit is red then the rabbit sees the mouse. If someone sees the rabbit then the rabbit sees the mouse.
The mouse chases the mouse.
@0: The mouse does not chase the rabbit.[(triple1)] The mouse is blue.[(triple3)] The mouse is kind.[(triple4)] The mouse is not big.[(triple2)] The mouse is not nice.[(triple5)] The mouse is red.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit is not red.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit sees the mouse.[(triple16 OR ((triple8) -> rule2))]