The mouse is big. The mouse is cold. The mouse is nice. The mouse is young. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is nice. The rabbit is rough. The rabbit needs the mouse. The rabbit visits the mouse. If someone needs the mouse and they visit the rabbit then the mouse visits the rabbit. If someone is cold then they need the rabbit.
The mouse is big.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple3)] The mouse is young.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The mouse needs the rabbit.[(((triple2) -> rule2))]