The mouse chases the rabbit. The mouse is not big. The mouse is not kind. The mouse is not red. The mouse is not round. The mouse is young. The mouse does not like the rabbit. The mouse does not need the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is not kind. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the mouse. The rabbit needs the mouse. If the rabbit needs the mouse and the mouse chases the rabbit then the rabbit likes the mouse. If something is round and it does not need the rabbit then it does not like the rabbit. If something likes the rabbit and the rabbit needs the mouse then the mouse likes the rabbit. If something needs the mouse and the mouse chases the rabbit then the rabbit needs the mouse. If something likes the rabbit and the rabbit needs the mouse then the rabbit chases the mouse. If something needs the rabbit then it is not big.
The rabbit chases the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse does not like the rabbit.[(triple7)] The mouse does not need the rabbit.[(triple8)] The mouse is not big.[(triple2)] The mouse is not kind.[(triple3)] The mouse is not red.[(triple4)] The mouse is not round.[(triple5)] The mouse is young.[(triple6)] The rabbit chases the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is not kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the mouse.[(triple15 OR ((triple16 triple1) -> rule1))] The rabbit needs the mouse.[(triple16)]