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