The mouse chases the rabbit. The mouse is not blue. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the rabbit. The mouse does not need the rabbit. The rabbit chases the mouse. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the mouse. The rabbit needs the mouse. If the mouse likes the rabbit then the mouse chases the rabbit.
The mouse does not need the mouse.
@0: The mouse chases the rabbit.[(triple1 OR ((triple7) -> rule1))] The mouse does not need the rabbit.[(triple8)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is not blue.[(triple2)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse likes the rabbit.[(triple7)] The rabbit chases the mouse.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the mouse.[(triple15)]