The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is young. The mouse likes the squirrel. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel visits the mouse. If someone likes the squirrel then they need the mouse.
The mouse likes the mouse.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is young.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The mouse needs the mouse.[(((triple6) -> rule1))]