The bear is not big. The bear is nice. The bear likes the mouse. The bear does not need the squirrel. The bear visits the rabbit. The mouse is young. The mouse likes the squirrel. The mouse needs the rabbit. The mouse needs the squirrel. The mouse visits the bear. The mouse visits the squirrel. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel is cold. The squirrel visits the bear. All nice things are not young. Big things are nice.
The bear likes the mouse.
@0: The bear does not need the squirrel.[(triple4)] The bear is nice.[(triple2)] The bear is not big.[(triple1)] The bear likes the mouse.[(triple3)] The bear visits the rabbit.[(triple5)] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse needs the rabbit.[(triple8)] The mouse needs the squirrel.[(triple9)] The mouse visits the bear.[(triple10)] The mouse visits the squirrel.[(triple11)] The rabbit visits the mouse.[(triple12)] The rabbit visits the squirrel.[(triple13)] The squirrel is cold.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bear is not young.[(((triple2) -> rule1))]