The bear is red. The cow is red. The cow needs the bear. The cow needs the squirrel. The cow visits the bear. The rabbit eats the cow. The rabbit is young. The squirrel needs the cow. The squirrel visits the cow. The squirrel visits the rabbit. If someone eats the rabbit and they visit the bear then they eat the cow. If the squirrel eats the cow then the cow needs the rabbit. If someone is young then they need the bear.
The bear visits the bear.
@0: The bear is red.[(triple1)] The cow is red.[(triple2)] The cow needs the bear.[(triple3)] The cow needs the squirrel.[(triple4)] The cow visits the bear.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is young.[(triple7)] The squirrel needs the cow.[(triple8)] The squirrel visits the cow.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit needs the bear.[(((triple7) -> rule3))]