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