The mouse chases the rabbit. The mouse is nice. The mouse is rough. The mouse is young. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit likes the mouse. The rabbit visits the mouse. If someone likes the rabbit then they like the mouse.
The rabbit is young.
@0: The mouse chases the rabbit.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] The mouse is young.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The mouse likes the mouse.[(((triple5) -> rule1))]